Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach

10 March 2020

Patricio Vela

Papers citing "Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach"

35 / 35 papers shown

Title
Accelerated Learning with Linear Temporal Logic using Differentiable Simulation Alper Kamil Bozkurt Calin Belta Ming C. Lin 43 0 0 01 Jun 2025
Navigating Polytopes with Safety: A Control Barrier Function Approach Tamas G. Molnar 61 0 0 22 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 108 0 0 16 May 2025
Safe Navigation in Unmapped Environments for Robotic Systems with Input Constraints Amirsaeid Safari Jesse B. Hoagg 103 1 0 03 Oct 2024
Time-Varying Soft-Maximum Barrier Functions for Safety in Unmapped and Dynamic Environments Amirsaeid Safari Jesse B. Hoagg 125 5 0 02 Sep 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 729 17 0 31 Aug 2024
Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance Hong-Den Yu Chiaki Hirayama Chenning Yu Sylvia Herbert Sicun Gao 71 16 0 06 Jul 2023
In-Distribution Barrier Functions: Self-Supervised Policy Filters that Avoid Out-of-Distribution States F. Castañeda Haruki Nishimura R. McAllister Koushil Sreenath Adrien Gaidon OffRL 115 16 0 27 Jan 2023
Safe Inverse Reinforcement Learning via Control Barrier Function Yue Yang Letian Chen Matthew C. Gombolay OffRL 107 3 0 06 Dec 2022
Emergency Collision Avoidance and Mitigation Using Model Predictive Control and Artificial Potential Function Xu Shang A. Eskandarian 67 15 0 12 Nov 2022
Synthesize Efficient Safety Certificates for Learning-Based Safe Control using Magnitude Regularization Haotian Zheng Haitong Ma Sifa Zheng Shengbo Eben Li Jianqiang Wang 32 2 0 23 Sep 2022
NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments Amir Salimi Lafmejani Spring Berman Georgios Fainekos 53 12 0 16 Aug 2022
Learning a Better Control Barrier Function Bolun Dai Prashanth Krishnamurthy Farshad Khorrami 67 31 0 11 May 2022
Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety Mouhyemen Khan Tatsuya Ibuki Abhijit Chatterjee 74 13 0 29 Mar 2022
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods Charles Dawson Sicun Gao Chuchu Fan 78 243 0 23 Feb 2022
Safe Control Synthesis with Uncertain Dynamics and Constraints Kehan Long Vikas Dhiman Melvin Leok Jorge Cortés Nikolay Atanasov 95 25 0 19 Feb 2022
BarrierNet: A Safety-Guaranteed Layer for Neural Networks Wei Xiao Ramin Hasani Xiao Li Daniela Rus 81 20 0 22 Nov 2021
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations Lars Lindemann Alexander Robey Lejun Jiang Satyajeet Das Stephen Tu Nikolai Matni 129 43 0 18 Nov 2021
Joint Synthesis of Safety Certificate and Safe Control Policy using Constrained Reinforcement Learning Haitong Ma Changliu Liu Shengbo Eben Li Sifa Zheng Jianyu Chen 82 43 0 15 Nov 2021
Learning Observation-Based Certifiable Safe Policy for Decentralized Multi-Robot Navigation Yuxiang Cui Longzhong Lin Xiaolong Huang Dongkun Zhang Yue Wang R. Xiong 71 11 0 16 Sep 2021
Reactive and Safe Road User Simulations using Neural Barrier Certificates Yue Meng Zengyi Qin Chuchu Fan 103 20 0 14 Sep 2021
Model Free Barrier Functions via Implicit Evading Maneuvers Eric Squires Rohit Konda Samuel Coogan M. Egerstedt 67 7 0 27 Jul 2021
Duality-based Convex Optimization for Real-time Obstacle Avoidance between Polytopes with Control Barrier Functions A. Thirugnanam Jun Zeng Koushil Sreenath 49 27 0 18 Jul 2021
Comparison between safety methods control barrier function vs. reachability analysis Zhichao Li 63 29 0 24 Jun 2021
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric Dawei Sun M. J. Khojasteh S. Shekhar Chuchu Fan 62 2 0 13 May 2021
Provably Correct Training of Neural Network Controllers Using Reachability Analysis Xiaowu Sun Yasser Shoukry 91 7 0 22 Feb 2021
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems Alexander Robey Lars Lindemann Stephen Tu Nikolai Matni 111 39 0 16 Jan 2021
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates Zengyi Qin Kai Zhang Yuxiao Chen Jingkai Chen Chuchu Fan 98 133 0 14 Jan 2021
Control Barriers in Bayesian Learning of System Dynamics Vikas Dhiman M. J. Khojasteh M. Franceschetti Nikolay Atanasov 117 67 0 29 Dec 2020
Learning Hybrid Control Barrier Functions from Data Lars Lindemann Haimin Hu Alexander Robey Hanwen Zhang Dimos V. Dimarogonas Stephen Tu Nikolai Matni 105 51 0 08 Nov 2020
Learning Barrier Functions with Memory for Robust Safe Navigation Kehan Long Cheng Qian Jorge Cortés Nikolay Atanasov 104 57 0 03 Nov 2020
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers James Ferlez Mahmoud M. Elnaggar Yasser Shoukry C. Fleming AAML 95 33 0 16 Jun 2020
Neural Certificates for Safe Control Policies Wanxin Jin Zhaoran Wang Zhuoran Yang Shaoshuai Mou 77 83 0 15 Jun 2020
Safe Multi-Agent Interaction through Robust Control Barrier Functions with Learned Uncertainties Richard Cheng M. J. Khojasteh Aaron D. Ames J. W. Burdick 86 88 0 11 Apr 2020
Learning Control Barrier Functions from Expert Demonstrations Alexander Robey Haimin Hu Lars Lindemann Hanwen Zhang Dimos V. Dimarogonas Stephen Tu Nikolai Matni 124 208 0 07 Apr 2020