lyapunov function

ADMM for Structured Fractional Minimization ICLR 2025 Analytical Lyapunov Function Discovery: An RL-based Generative Approach ICML 2025 Associative memory and dead neurons ICLR 2025 Convergence Rate in a Nonlinear Two-Time-Scale Stochastic Approximation with State (Time)-Dependence AAAI 2025 Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework CVPR 2025 Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks AISTATS 2025 Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems L4DC 2025 Neural Control and Certificate Repair via Runtime Monitoring AAAI 2025 Off Policy Lyapunov Stability in Reinforcement Learning CoRL 2025 Robust Control of Uncertain Switched Affine Systems via Scenario Optimization L4DC 2025 Control with Patterns: A D-learning Method CoRL 2024 Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers NeurIPS 2024 Learning to stabilize high-dimensional unknown systems using Lyapunov-guided exploration L4DC 2024 Lion Secretly Solves a Constrained Optimization: As Lyapunov Predicts ICLR 2024 Relating Hopfield Networks to Episodic Control NeurIPS 2024 A Unified Discretization Framework for Differential Equation Approach with Lyapunov Arguments for Convex Optimization NeurIPS 2023 Compositional Neural Certificates for Networked Dynamical Systems L4DC 2023 Hybrid Systems Neural Control with Region-of-Attraction Planner L4DC 2023 Neural Lyapunov Control for Discrete-Time Systems NeurIPS 2023 Structured Neural-PI Control with End-to-End Stability and Output Tracking Guarantees NeurIPS 2023 Tighter Analysis for ProxSkip ICML 2023 A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees L4DC 2022 From Gradient Flow on Population Loss to Learning with Stochastic Gradient Descent NeurIPS 2022 Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees NeurIPS 2022 A Lyapunov Analysis of Accelerated Methods in Optimization JMLR 2021