Safe Control Under Input Limits with Neural Control Barrier Functions

20 November 2022

Changliu Liu

Papers citing "Safe Control Under Input Limits with Neural Control Barrier Functions"

31 / 31 papers shown

Title
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Luca Marzari Francesco Trotti Enrico Marchesini Alessandro Farinelli 43 0 0 30 Apr 2025
Safety Embedded Adaptive Control Using Barrier States Maitham F. AL-Sunni Hassan Almubarak John M. Dolan 21 1 0 21 Apr 2025
Neural Control Barrier Functions from Physics Informed Neural Networks Shreenabh Agrawal Manan Tayal Aditya Singh Shishir Kolathaya AI4CE 25 0 0 15 Apr 2025
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang 72 0 0 27 Nov 2024
On the Boundary Feasibility for PDE Control with Neural Operators Hanjiang Hu Changliu Liu AI4CE 72 1 0 23 Nov 2024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions Hongchao Zhang Zhizhen Qin Sicun Gao Andrew Clark 24 0 0 27 Oct 2024
Domain Adaptive Safety Filters via Deep Operator Learning Lakshmideepakreddy Manda Shaoru Chen Mahyar Fazlyab 29 1 0 18 Oct 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
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation Hanjiang Hu Yujie Yang Tianhao Wei Changliu Liu AAML 26 6 0 04 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
Handling Long-Term Safety and Uncertainty in Safe Reinforcement Learning Jonas Günster Puze Liu Jan Peters Davide Tateo OffRL 23 2 0 18 Sep 2024
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks Tianhao Wei Luca Marzari Kai S. Yun Hanjiang Hu Peizhi Niu Xusheng Luo Changliu Liu 39 0 0 30 Jun 2024
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions Hongkai Dai Chuanrui Jiang Hongchao Zhang Andrew Clark 33 1 0 27 Jun 2024
Safe Reinforcement Learning on the Constraint Manifold: Theory and Applications Puze Liu Haitham Bou-Ammar Jan Peters Davide Tateo 40 7 0 13 Apr 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 52 14 0 11 Apr 2024
Learning a Formally Verified Control Barrier Function in Stochastic Environment Manan Tayal Hongchao Zhang Pushpak Jagtap Andrew Clark Shishir Kolathaya 33 13 0 28 Mar 2024
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees Shaoru Chen Lekan Molu Mahyar Fazlyab 30 4 0 12 Mar 2024
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks Hongchao Zhang Luyao Niu Andrew Clark Radha Poovendran AAML 37 2 0 28 Feb 2024
Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes Will Lavanakul Jason J. Choi K. Sreenath Claire J. Tomlin 49 12 0 07 Feb 2024
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation Shaoru Chen Mahyar Fazlyab 39 6 0 11 Jan 2024
Learning Predictive Safety Filter via Decomposition of Robust Invariant Set Zeyang Li Chuxiong Hu Weiye Zhao Changliu Liu 26 7 0 12 Nov 2023
Synthesis and verification of robust-adaptive safe controllers Simin Liu Kai S. Yun John M. Dolan Changliu Liu 24 2 0 01 Nov 2023
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems Oswin So Zachary Serlin Makai Mann Jake Gonzales Kwesi J. Rutledge Nicholas Roy Chuchu Fan 38 29 0 24 Oct 2023
Exact Verification of ReLU Neural Control Barrier Functions Hongchao Zhang Junlin Wu Yevgeniy Vorobeychik Andrew Clark AAML 27 11 0 13 Oct 2023
Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory Daniel C.H. Tan Fernando Acero Robert McCarthy Dimitrios Kanoulas Zhibin Li OffRL 30 2 0 06 Jun 2023
Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation Shucheng Kang Yuxiao Chen Heng Yang Marco Pavone 27 17 0 17 Mar 2023
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints Hongkai Dai Frank Permenter 21 36 0 02 Oct 2022
Safe Control with Neural Network Dynamic Models Tianhao Wei Changliu Liu 29 35 0 03 Oct 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
Comparative Analysis of Control Barrier Functions and Artificial Potential Fields for Obstacle Avoidance Andrew W. Singletary Karl Klingebiel Joseph R. Bourne Andrew W. Browning P. Tokumaru Aaron D. Ames 122 115 0 19 Oct 2020