Lyapunov-stable neural-network control

29 September 2021

Hongkai Dai

Papers citing "Lyapunov-stable neural-network control"

25 / 25 papers shown

Title
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 184 0 0 22 Jan 2025
Control the GNN: Utilizing Neural Controller with Lyapunov Stability for Test-Time Feature Reconstruction Jielong Yang Rui Ding Feng Ji Hongbin Wang Linbo Xie 37 0 0 13 Oct 2024
Tight Stability, Convergence, and Robustness Bounds for Predictive Coding Networks A. Mali Tommaso Salvatori Alexander Ororbia 32 0 0 07 Oct 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 47 14 0 11 Apr 2024
Distributionally Robust Policy and Lyapunov-Certificate Learning Kehan Long Jorge Cortés Nikolay A. Atanasov 39 2 0 03 Apr 2024
Globally Stable Neural Imitation Policies Amin Abyaneh Mariana Sosa Guzmán Hsiu-Chin Lin 43 2 0 07 Mar 2024
Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems Amit Jena D. Kalathil Le Xie 20 3 0 23 Dec 2023
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification Jun Liu Yiming Meng Maxwell Fitzsimmons Rui Zhou 23 16 0 14 Dec 2023
Learning Stability Attention in Vision-based End-to-end Driving Policies Tsun-Hsuan Wang Wei Xiao Makram Chahine Alexander Amini Ramin Hasani Daniela Rus 24 6 0 05 Apr 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 28 1 0 02 Jan 2023
Generating Stable and Collision-Free Policies through Lyapunov Function Learning Alexandre Coulombe Hsiu-Chin Lin 11 5 0 16 Nov 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 28 6 0 01 Nov 2022
Data-Efficient Characterization of the Global Dynamics of Robot Controllers with Confidence Guarantees Ewerton R. Vieira A. Sivaramakrishnan Yao Song Edgar Granados Marcio Gameiro Konstantin Mischaikow Ying Hung Kostas E. Bekris AI4CE 25 3 0 04 Oct 2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems Nicholas Rober Sydney M. Katz Chelsea Sidrane Esen Yel Michael Everett Mykel J. Kochenderfer Jonathan P. How 32 26 0 28 Sep 2022
Analysis and Design of Quadratic Neural Networks for Regression, Classification, and Lyapunov Control of Dynamical Systems L. Rodrigues S. Givigi 22 2 0 26 Jul 2022
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees Rui Zhou Thanin Quartz H. Sterck Jun Liu 22 46 0 04 Jun 2022
Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Models Zhongyu Li Jun Zeng A. Thirugnanam K. Sreenath 24 16 0 11 May 2022
Morse Graphs: Topological Tools for Analyzing the Global Dynamics of Robot Controllers Ewerton R. Vieira Edgar Granados A. Sivaramakrishnan Marcio Gameiro Konstantin Mischaikow Kostas E. Bekris 16 6 0 17 Feb 2022
Maximizing information from chemical engineering data sets: Applications to machine learning Alexander Thebelt Johannes Wiebe Jan Kronqvist Calvin Tsay Ruth Misener AI4CE 36 68 0 25 Jan 2022
Neural Koopman Lyapunov Control Vrushabh Zinage E. Bakolas 22 28 0 13 Jan 2022
SABLAS: Learning Safe Control for Black-box Dynamical Systems Zengyi Qin Dawei Sun Chuchu Fan 19 43 0 06 Jan 2022
Robust Stability of Neural Network-controlled Nonlinear Systems with Parametric Variability Soumyabrata Talukder Ratnesh Kumar 11 7 0 13 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 228 1,835 0 03 Feb 2017
Control Design along Trajectories with Sums of Squares Programming Anirudha Majumdar Amir Ali Ahmadi Russ Tedrake 104 139 0 02 Oct 2012