conftrace_

lyapunov function

37 papers

Explore in graph

Co-occurring keywords

neural network (6616) dynamical system (398) convergence rate (607) region of attraction (11) reinforcement learning (4352) nonlinear control (24) control policy (39) stability analysis (77) convex optimization (1321) stability guarantee (17)

Papers

Neural Control and Certificate Repair via Runtime Monitoring AAAI 2025
Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework CVPR 2025
Convergence Rate in a Nonlinear Two-Time-Scale Stochastic Approximation with State (Time)-Dependence AAAI 2025
Relating Hopfield Networks to Episodic Control NIPS 2024
Learning to stabilize high-dimensional unknown systems using Lyapunov-guided exploration L4DC 2024
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers NIPS 2024
Hybrid Systems Neural Control with Region-of-Attraction Planner L4DC 2023
Compositional Neural Certificates for Networked Dynamical Systems L4DC 2023
A Unified Discretization Framework for Differential Equation Approach with Lyapunov Arguments for Convex Optimization NIPS 2023
Tighter Analysis for ProxSkip ICML 2023
Structured Neural-PI Control with End-to-End Stability and Output Tracking Guarantees NIPS 2023
Neural Lyapunov Control for Discrete-Time Systems NIPS 2023
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees NIPS 2022
From Gradient Flow on Population Loss to Learning with Stochastic Gradient Descent NIPS 2022
A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees L4DC 2022
Learning Dynamics Models with Stable Invariant Sets AAAI 2021
Neural Lyapunov Redesign L4DC 2021
A Lyapunov Analysis of Accelerated Methods in Optimization JMLR 2021
Convergence behavior of belief propagation: estimating regions of attraction via Lyapunov functions UAI 2021
On Convergence of Gradient Expected Sarsa(λ) AAAI 2021
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions CORL 2021
Finite-Sample Analysis of Contractive Stochastic Approximation Using Smooth Convex Envelopes NIPS 2020
Almost Surely Stable Deep Dynamics NIPS 2020
Stable Reinforcement Learning with Unbounded State Space L4DC 2020
Convergence of a Stochastic Gradient Method with Momentum for Non-Smooth Non-Convex Optimization ICML 2020