Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximation
Not on the map. Why?
Abstract (arXiv)
We develop a versatile deep neural network architecture, called Lyapunov-Net, to approximate Lyapunov functions of dynamical systems in high dimensions. Lyapunov-Net guarantees positive definiteness, and thus it can be easily trained to satisfy the negative orbital derivative condition, which only renders a single term in the empirical risk function in practice. This significantly reduces the number of hyper-parameters compared to existing methods. We also provide theoretical justifications on the approximation power of Lyapunov-Net and its complexity bounds. We demonstrate the efficiency of the proposed method on nonlinear dynamical systems involving up to 30-dimensional state spaces, and show that the proposed approach significantly outperforms the state-of-the-art methods.
Key facts. Cited by 16 papers in the map (data through 7 Oct 2026). Builds on 20 of its 44 references that are in the map. First posted on arXiv 27 Sep 2021.
Builds on
20 of 44 references.
References · 20
- 2014Adam: A Method for Stochastic Optimizationcited by 36,960
- 2017The Deep Ritz method: A deep learning-based numerical algorithm for solving variational problemscited by 581
- 2016Error bounds for approximations with deep ReLU networkscited by 567
- 2017Physics Informed Deep Learning (Part I): Data-driven Solutions of Nonlinear Partial Differential Equationscited by 362
- 2017Optimal approximation of piecewise smooth functions using deep ReLU neural networkscited by 176
- 2020Neural Lyapunov Controlcited by 142
- 2019Deep Network Approximation Characterized by Number of Neuronscited by 120
- 2019Error bounds for approximations with deep ReLU neural networks in Ws,p normscited by 95
- 2021Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functionscited by 91
- 2020Learning Control Barrier Functions from Expert Demonstrationscited by 88
- 2018The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systemscited by 87
- 2016Why Deep Neural Networks for Function Approximation?cited by 82
8 more
- 2020Neural Network Approximation: Three Hidden Layers Are Enoughcited by 63
- 2018Limitations of the Lipschitz constant as a defense against adversarial examplescited by 48
- 2018Exponential Convergence of the Deep Neural Network Approximation for Analytic Functionscited by 38
- 2020Approximating Lipschitz continuous functions with GroupSort neural networkscited by 27
- 2020Computing Lyapunov functions using deep neural networkscited by 14
- 2020The Representation Power of Neural Networks: Breaking the Curse of Dimensionalitycited by 4
- 2021Analytic function approximation by path norm regularized deep networkscited by 3
- 2021Learning-based Adaptive Control using Contraction Theorycited by 1
Built on by
Citing papers per year: 2022: 2; 2023: 3; 2024: 7; 2025: 3; 2026: 1.
16 papers.
Sort:
- 2022Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guaranteescited by 39
- 2023Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verificationcited by 20
- 2024LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attractioncited by 10
- 2024Verification-Aided Learning of Neural Network Barrier Functions with Termination Guaranteescited by 7
- 2024Actor-Critic Physics-informed Neural Lyapunov Controlcited by 6
- 2023Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theorycited by 5
- 2024Formally Verified Physics-Informed Neural Control Lyapunov Functionscited by 4
- 2022Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safetycited by 2
- 2024Distributionally Robust Policy and Lyapunov-Certificate Learningcited by 2
- 2023A Policy Optimization Method Towards Optimal-time Stabilitycited by 0
- 2024Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systemscited by 0
- 2024(Un)supervised Learning of Maximal Lyapunov Functionscited by 0
4 more
- 2025Neural Lyapunov Function Approximation with Self-Supervised Reinforcement Learningcited by 0
- 2025Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functionscited by 0
- 2025Lyapunov Stability Learning with Nonlinear Control via Inductive Biasescited by 0
- 2026Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equationscited by 0
- 2026Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations20 Mar 2026
- 2025Lyapunov Stability Learning with Nonlinear Control via Inductive Biases3 Nov 2025
- 2025Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions16 May 2025
- 2025Neural Lyapunov Function Approximation with Self-Supervised Reinforcement Learning19 Mar 2025
- 2024Formally Verified Physics-Informed Neural Control Lyapunov Functions30 Sep 2024
- 2024(Un)supervised Learning of Maximal Lyapunov Functions30 Aug 2024
- 2024Distributionally Robust Policy and Lyapunov-Certificate Learning3 Apr 2024
- 2024LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction15 Mar 2024
- 2024Actor-Critic Physics-informed Neural Lyapunov Control13 Mar 2024
- 2024Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees12 Mar 2024
- 2024Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systems1 Mar 2024
- 2023Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification14 Dec 2023
4 more
- 2023Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory6 Jun 2023
- 2023A Policy Optimization Method Towards Optimal-time Stability2 Jan 2023
- 2022Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees4 Jun 2022
- 2022Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety29 Mar 2022
- 2022Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guaranteescited by 39
- 2023Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verificationcited by 20
- 2024LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attractioncited by 10
- 2024Verification-Aided Learning of Neural Network Barrier Functions with Termination Guaranteescited by 7
- 2024Actor-Critic Physics-informed Neural Lyapunov Controlcited by 6
- 2023Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theorycited by 5
- 2024Formally Verified Physics-Informed Neural Control Lyapunov Functionscited by 4
- 2022Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safetycited by 2
- 2024Distributionally Robust Policy and Lyapunov-Certificate Learningcited by 2
- 2023A Policy Optimization Method Towards Optimal-time Stabilitycited by 0
- 2024Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systemscited by 0
- 2024(Un)supervised Learning of Maximal Lyapunov Functionscited by 0
12 most cited of 16 All 16 (JSON)
- 2026Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations20 Mar 2026
- 2025Lyapunov Stability Learning with Nonlinear Control via Inductive Biases3 Nov 2025
- 2025Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions16 May 2025
- 2025Neural Lyapunov Function Approximation with Self-Supervised Reinforcement Learning19 Mar 2025
- 2024Formally Verified Physics-Informed Neural Control Lyapunov Functions30 Sep 2024
- 2024(Un)supervised Learning of Maximal Lyapunov Functions30 Aug 2024
- 2024Distributionally Robust Policy and Lyapunov-Certificate Learning3 Apr 2024
- 2024LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction15 Mar 2024
- 2024Actor-Critic Physics-informed Neural Lyapunov Control13 Mar 2024
- 2024Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees12 Mar 2024
- 2024Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systems1 Mar 2024
- 2023Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification14 Dec 2023
12 newest of 16 All 16 (JSON)