Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods

23 February 2022

Chuchu Fan

Papers citing "Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods"

42 / 42 papers shown

Title
ACORN: Adaptive Contrastive Optimization for Safe and Robust Fine-Grained Robotic Manipulation Zhongquan Zhou Shuhao Li Zixian Yue 28 0 0 10 May 2025
Learning Neural Control Barrier Functions from Offline Data with Conservatism Ihab Tabbara Hussein Sibai OffRL 65 0 0 01 May 2025
Negative Imaginary Neural ODEs: Learning to Control Mechanical Systems with Stability Guarantees Kanghong Shi Ruigang Wang I. Manchester 24 0 0 28 Apr 2025
Diffeomorphic Obstacle Avoidance for Contractive Dynamical Systems via Implicit Representations Ken-Joel Simmoteit Philipp Schillinger Leonel Rozo 30 0 0 26 Apr 2025
Is Bellman Equation Enough for Learning Control? Haoxiang You Lekan Molu Ian Abraham 68 0 0 04 Mar 2025
Analytical Lyapunov Function Discovery: An RL-based Generative Approach Haohan Zou Jie Feng Hao Zhao Yuanyuan Shi 95 0 0 04 Feb 2025
One Stack, Diverse Vehicles: Checking Safe Portability of Automated Driving Software Vladislav Nenchev 101 0 0 30 Jan 2025
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
Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints Xiaoyang Cao Zhe Fu Alexandre M. Bayen 30 0 0 05 Oct 2024
Learning to Refine Input Constrained Control Barrier Functions via Uncertainty-Aware Online Parameter Adaptation Taekyung Kim Robin Inho Kee Dimitra Panagou 46 6 0 22 Sep 2024
Neural Control Barrier Functions for Safe Navigation Marvin Harms M. Kulkarni Nikhil Khedekar Martin Jacquet Kostas Alexis 40 7 0 29 Jul 2024
Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey Milan Ganai Sicun Gao Sylvia L. Herbert 40 6 0 12 Jul 2024
Preparing for Black Swans: The Antifragility Imperative for Machine Learning Ming Jin 36 2 0 18 May 2024
Mobius Transformation-Based Circular Motion Control for Unicycle Robots in Nonconcentric Circular Geofences Shubham Singh Anoop Jain 18 0 0 11 May 2024
Learning Stable and Passive Neural Differential Equations Jing Cheng Ruigang Wang I. Manchester 34 3 0 19 Apr 2024
Distributionally Robust Policy and Lyapunov-Certificate Learning Kehan Long Jorge Cortés Nikolay Atanasov 44 2 0 03 Apr 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 34 18 0 20 Feb 2024
Safe Distributed Control of Multi-Robot Systems with Communication Delays Luca Ballotta Rajat Talak AI4CE 23 1 0 14 Feb 2024
GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control Songyuan Zhang Oswin So Kunal Garg Chuchu Fan AI4CE 46 22 0 25 Jan 2024
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation Shaoru Chen Mahyar Fazlyab 39 6 0 11 Jan 2024
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
Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems Jason J. Choi F. Castañeda Wonsuhk Jung Bike Zhang Claire J. Tomlin K. Sreenath 35 3 0 23 Nov 2023
State-Wise Safe Reinforcement Learning With Pixel Observations S. Zhan Yixuan Wang Qingyuan Wu Ruochen Jiao Chao Huang Qi Zhu 43 10 0 03 Nov 2023
Detection of Unknown-Unknowns in Human-in-Plant Human-in-Loop Systems Using Physics Guided Process Models Aranyak Maity Ayan Banerjee S. Gupta 15 2 0 05 Sep 2023
CaRT: Certified Safety and Robust Tracking in Learning-based Motion Planning for Multi-Agent Systems Hiroyasu Tsukamoto Benjamin Rivière Changrak Choi A. Rahmani Soon-Jo Chung 11 0 0 13 Jul 2023
Rate-Tunable Control Barrier Functions: Methods and Algorithms for Online Adaptation Hardik Parwana Dimitra Panagou 22 4 0 23 Mar 2023
Neural Operators of Backstepping Controller and Observer Gain Functions for Reaction-Diffusion PDEs Miroslav Krstic Luke Bhan Yuanyuan Shi 51 28 0 18 Mar 2023
Online Control Barrier Functions for Decentralized Multi-Agent Navigation Zhan Gao Guangtao Yang Amanda Prorok 41 15 0 08 Mar 2023
Learning Responsibility Allocations for Safe Human-Robot Interaction with Applications to Autonomous Driving Ryan K. Cosner Yuxiao Chen Karen Leung Marco Pavone 29 9 0 06 Mar 2023
Data-Driven Control with Inherent Lyapunov Stability Youngjae Min Spencer M. Richards Navid Azizan 24 7 0 06 Mar 2023
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study C. Păsăreanu Ravi Mangal D. Gopinath Sinem Getir Yaman Calum Imrie R. Calinescu Huafeng Yu 32 29 0 06 Feb 2023
Learning Riemannian Stable Dynamical Systems via Diffeomorphisms Jiechao Zhang Hadi Beik-Mohammadi Leonel Rozo 22 15 0 06 Nov 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 35 26 0 28 Sep 2022
Barrier functions enable safety-conscious force-feedback control Charles Dawson A. Garrett Falk Pollok Yang Zhang Chuchu Fan 16 2 0 25 Sep 2022
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields Mukun Tong Charles Dawson Chuchu Fan 48 29 0 25 Sep 2022
Example When Local Optimal Policies Contain Unstable Control B. Song Jean-Jacques E. Slotine Quang-Cuong Pham 46 1 0 15 Sep 2022
Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations Yanwei Wang Nadia Figueroa Shen Li Ankit J. Shah J. Shah 11 21 0 09 Jun 2022
Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximation Nathan Gaby Fumin Zhang X. Ye PINN 37 39 0 27 Sep 2021
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 120 172 0 14 Sep 2021
Reactive and Safe Road User Simulations using Neural Barrier Certificates Yue Meng Zengyi Qin Chuchu Fan 35 20 0 14 Sep 2021
Episodic Learning with Control Lyapunov Functions for Uncertain Robotic Systems Andrew J. Taylor Victor D. Dorobantu Hoang Minh Le Yisong Yue Aaron D. Ames 117 78 0 04 Mar 2019
Control Design along Trajectories with Sums of Squares Programming Anirudha Majumdar Amir Ali Ahmadi Russ Tedrake 107 139 0 02 Oct 2012