Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees

4 June 2022

Jun Liu

Papers citing "Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees"

27 / 27 papers shown

Title
Neural Lyapunov Function Approximation with Self-Supervised Reinforcement Learning Luc McCutcheon Bahman Gharesifard Saber Fallah 41 0 0 19 Mar 2025
Analytical Lyapunov Function Discovery: An RL-based Generative Approach Haohan Zou Jie Feng Hao Zhao Yuanyuan Shi 90 0 0 04 Feb 2025
Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems Ruikun Zhou Yiming Meng Zhexuan Zeng Jun Liu 75 0 0 03 Dec 2024
Transformer-Based Fault-Tolerant Control for Fixed-Wing UAVs Using Knowledge Distillation and In-Context Adaptation Francisco Giral Ignacio Gómez Ricardo Vinuesa S. L. Clainche 32 2 0 05 Nov 2024
Control the GNN: Utilizing Neural Controller with Lyapunov Stability for Test-Time Feature Reconstruction Jielong Yang Rui Ding Feng Ji Hongbin Wang Linbo Xie 35 0 0 13 Oct 2024
Formally Verified Physics-Informed Neural Control Lyapunov Functions Jun Liu Maxwell Fitzsimmons Ruikun Zhou Yiming Meng 29 2 0 30 Sep 2024
Learning and Verifying Maximal Taylor-Neural Lyapunov functions Matthieu Barreau Nicola Bastianello 29 1 0 30 Aug 2024
Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery Jie Feng Haohan Zou Yuanyuan Shi 27 2 0 21 Jun 2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Michael Durling Milan Ganai Tobey Shim Guy Katz Clark W. Barrett 39 7 0 22 May 2024
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model Alireza Nadali Ashutosh Trivedi Majid Zamani 21 2 0 22 May 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 42 14 0 11 Apr 2024
Distributionally Robust Policy and Lyapunov-Certificate Learning Kehan Long Jorge Cortés Nikolay A. Atanasov 32 2 0 03 Apr 2024
Manifold-Guided Lyapunov Control with Diffusion Models Amartya Mukherjee Thanin Quartz Jun Liu 41 0 0 26 Mar 2024
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction Jun Liu Yiming Meng Maxwell Fitzsimmons Rui Zhou 32 16 0 15 Mar 2024
Actor-Critic Physics-informed Neural Lyapunov Control Jiarui Wang Mahyar Fazlyab 30 4 0 13 Mar 2024
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification Jun Liu Yiming Meng Maxwell Fitzsimmons Rui Zhou 21 16 0 14 Dec 2023
MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control Yiwen Lu Zishuo Li Yihan Zhou Na Li Yilin Mo 19 2 0 08 Dec 2023
Neural Operators for PDE Backstepping Control of First-Order Hyperbolic PIDE with Recycle and Delay Jie Qi Jing Zhang Miroslav Krstic 28 14 0 21 Jul 2023
Neural Lyapunov Control for Discrete-Time Systems Junlin Wu Andrew Clark Y. Kantaros Yevgeniy Vorobeychik 19 23 0 11 May 2023
FLEX: an Adaptive Exploration Algorithm for Nonlinear Systems Matthieu Blanke Marc Lelarge 31 4 0 26 Apr 2023
Data-Driven Control with Inherent Lyapunov Stability Youngjae Min Spencer M. Richards Navid Azizan 16 7 0 06 Mar 2023
Learning Control-Oriented Dynamical Structure from Data Spencer M. Richards Jean-Jacques E. Slotine Navid Azizan Marco Pavone 8 6 0 06 Feb 2023
Neural Abstractions Alessandro Abate Alec Edwards Mirco Giacobbe 11 14 0 27 Jan 2023
A Policy Optimization Method Towards Optimal-time Stability Shengjie Wang Lan Fengb Xiang Zheng Yu-wen Cao Oluwatosin Oseni Haotian Xu Tao Zhang Yang Gao 24 1 0 02 Jan 2023
Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximation Nathan Gaby Fumin Zhang X. Ye PINN 32 38 0 27 Sep 2021
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 109 172 0 14 Sep 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,835 0 03 Feb 2017