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

Title
EigenSafe: A Spectral Framework for Learning-Based Stochastic Safety Filtering Inkyu Jang Jonghae Park Chams E. Mballo Sihyun Cho Claire J. Tomlin H. J. Kim 36 0 0 22 Sep 2025
ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks Bojan Derajić Sebastian Bernhard Wolfgang Hönig 71 0 0 20 Sep 2025
Learning Dynamics under Environmental Constraints via Measurement-Induced Bundle Structures Dongzhe Zheng Wenjie Mei AI4CE 204 1 0 26 May 2025
Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions Matthew Kim William Sharpless Hyun Joe Jeong S. Tonkens Somil Bansal Sylvia Herbert 240 3 0 16 May 2025
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning NavigationIEEE Robotics and Automation Letters (IEEE RA-L), 2025 Luca Marzari Francesco Trotti Enrico Marchesini Alessandro Farinelli 161 2 0 30 Apr 2025
Safety Embedded Adaptive Control Using Barrier StatesAmerican Control Conference (ACC), 2025 Maitham F. AL-Sunni Hassan Almubarak John M. Dolan 213 0 0 21 Apr 2025
Neural Control Barrier Functions from Physics Informed Neural Networks Shreenabh Agrawal Manan Tayal Aditya Singh Shishir Kolathaya AI4CE 105 0 0 15 Apr 2025
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang H. Zhang 295 2 0 27 Nov 2024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier FunctionsNeural Information Processing Systems (NeurIPS), 2024 Hongchao Zhang Zhizhen Qin Sicun Gao Andrew Clark 176 5 0 27 Oct 2024
Domain Adaptive Safety Filters via Deep Operator LearningIEEE Conference on Decision and Control (CDC), 2024 Lakshmideepakreddy Manda Shaoru Chen Mahyar Fazlyab 98 3 0 18 Oct 2024
Pareto Control Barrier Function for Inner Safe Set Maximization Under Input ConstraintsAmerican Control Conference (ACC), 2024 Xiaoyang Cao Zhe Fu Alexandre M. Bayen 167 1 0 05 Oct 2024
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds PropagationConference on Robot Learning (CoRL), 2024 Hanjiang Hu Yujie Yang Tianhao Wei Changliu Liu AAML 221 19 0 04 Oct 2024
Learning to Refine Input Constrained Control Barrier Functions via Uncertainty-Aware Online Parameter AdaptationIEEE International Conference on Robotics and Automation (ICRA), 2024 Taekyung Kim Robin Inho Kee Dimitra Panagou 260 11 0 22 Sep 2024
Handling Long-Term Safety and Uncertainty in Safe Reinforcement LearningConference on Robot Learning (CoRL), 2024 Jonas Günster Puze Liu Jan Peters Davide Tateo OffRL 189 3 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 183 2 0 30 Jun 2024
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions Hongkai Dai Chuanrui Jiang Hongchao Zhang Andrew Clark 147 9 0 27 Jun 2024
Safe Reinforcement Learning on the Constraint Manifold: Theory and Applications Puze Liu Haitham Bou-Ammar Jan Peters Davide Tateo 159 14 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 203 29 0 11 Apr 2024
Learning a Formally Verified Control Barrier Function in Stochastic Environment Manan Tayal Hongchao Zhang Pushpak Jagtap Andrew Clark Shishir Kolathaya 144 27 0 28 Mar 2024
Verification-Aided Learning of Neural Network Barrier Functions with Termination GuaranteesAmerican Control Conference (ACC), 2024 Shaoru Chen Lekan Molu Mahyar Fazlyab 111 8 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 139 4 0 28 Feb 2024
Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes Will Lavanakul Jason J. Choi Koushil Sreenath Claire J. Tomlin 191 17 0 07 Feb 2024
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited ActuationConference on Robot Learning (CoRL), 2024 Shaoru Chen Mahyar Fazlyab 189 9 0 11 Jan 2024
Learning Predictive Safety Filter via Decomposition of Robust Invariant Set Zeyang Li Chuxiong Hu Weiye Zhao Changliu Liu 160 7 0 12 Nov 2023
Synthesis and verification of robust-adaptive safe controllersEuropean Control Conference (ECC), 2023 Simin Liu Kai S. Yun John M. Dolan Changliu Liu 154 3 0 01 Nov 2023
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained SystemsIEEE International Conference on Robotics and Automation (ICRA), 2023 Oswin So Zachary Serlin Makai Mann Jake Gonzales Kwesi J. Rutledge Nicholas Roy Chuchu Fan 221 52 0 24 Oct 2023
Exact Verification of ReLU Neural Control Barrier Functions Hongchao Zhang Junlin Wu Yevgeniy Vorobeychik Andrew Clark AAML 169 18 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 231 6 0 06 Jun 2023
Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite RelaxationIEEE Conference on Decision and Control (CDC), 2023 Shucheng Kang Yuxiao Chen Heng Yang Marco Pavone 180 20 0 17 Mar 2023
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraintsAmerican Control Conference (ACC), 2022 Hongkai Dai Frank Permenter 247 52 0 02 Oct 2022