Lyapunov-stable Neural Control for State and Output Feedback: A Novel
Formulation

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation

11 April 2024

Hongkai Dai

Papers citing "Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation"

15 / 15 papers shown

Title
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems H. Li Xiangru Zhong Bin Hu Huan Zhang 41 0 0 23 Apr 2025
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 29 0 0 23 Apr 2025
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
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 140 0 0 22 Jan 2025
Kernel-Based Optimal Control: An Infinitesimal Generator Approach Petar Bevanda Nicolas Hosichen Tobias Wittmann Jan Brüdigam Sandra Hirche Boris Houska 68 0 0 02 Dec 2024
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang 70 0 0 27 Nov 2024
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation Hanjiang Hu Yujie Yang Tianhao Wei Changliu Liu AAML 24 6 0 04 Oct 2024
Formally Verified Physics-Informed Neural Control Lyapunov Functions Jun Liu Maxwell Fitzsimmons Ruikun Zhou Yiming Meng 29 2 0 30 Sep 2024
Autonomous Wheel Loader Navigation Using Goal-Conditioned Actor-Critic MPC Aleksi Mäki-Penttilä Naeim Ebrahimi Toulkani Reza Ghabcheloo 27 0 0 24 Sep 2024
Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery Jie Feng Haohan Zou Yuanyuan Shi 27 2 0 21 Jun 2024
Distributionally Robust Policy and Lyapunov-Certificate Learning Kehan Long Jorge Cortés Nikolay A. Atanasov 32 2 0 03 Apr 2024
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints Hongkai Dai Frank Permenter 21 36 0 02 Oct 2022
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 109 172 0 14 Sep 2021
Control Design along Trajectories with Sums of Squares Programming Anirudha Majumdar Amir Ali Ahmadi Russ Tedrake 97 139 0 02 Oct 2012