Robust Control Barrier-Value Functions for Safety-Critical Control
Not on the map. Why?
Abstract (arXiv)
This paper works towards unifying two popular approaches in the safety control community: Hamilton-Jacobi (HJ) reachability and Control Barrier Functions (CBFs). HJ Reachability has methods for direct construction of value functions that provide safety guarantees and safe controllers, however the online implementation can be overly conservative and/or rely on chattering bang-bang control. The CBF community has methods for safe-guarding controllers in the form of point-wise optimization using quadratic programs (CBF-QP), where the CBF-based safety certificate is used as a constraint. However, finding a valid CBF for a general dynamical system is challenging. This paper unifies these two methods by introducing a new reachability formulation inspired by the structure of CBFs to construct a Control Barrier-Value Function (CBVF). We verify that CBVF is a viscosity solution to a novel Hamilton-Jacobi-Isaacs Variational Inequality and preserves the same safety guarantee as the original reachability formulation. Finally, inspired by the CBF-QP, we propose a QP-based online control synthesis for systems affine in control and disturbance, whose solution is always the CBVF's optimal control signal robust to bounded disturbance. We demonstrate the benefit of using the CBVFs for double-integrator and Dubins car systems by comparing it to previous methods.
Key facts. Cited by 47 papers in the map (data through 7 Oct 2026). First posted on arXiv 6 Apr 2021.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 4; 2022: 6; 2023: 6; 2024: 11; 2025: 14; 2026: 6.
47 papers.
Sort:
By area:
- 2021Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learningcited by 337
- 2023The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systemscited by 77
- 2024Safe Offline Reinforcement Learning with Feasibility-Guided Diffusion Modelcited by 62
- 2022Reachability Constrained Reinforcement Learningcited by 52
- 2023Iterative Reachability Estimation for Safe Reinforcement Learningcited by 33
- 2021Joint Synthesis of Safety Certificate and Safe Control Policy using Constrained Reinforcement Learningcited by 25
- 2022ISAACS: Iterative Soft Adversarial Actor-Critic for Safetycited by 24
- 2021Learning Robust Output Control Barrier Functions from Safe Expert Demonstrationscited by 19
- 2022SABLAS: Learning Safe Control for Black-box Dynamical Systemscited by 17
- 2022Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificatecited by 16
- 2023In-Distribution Barrier Functions: Self-Supervised Policy Filters that Avoid Out-of-Distribution Statescited by 15
- 2024Gameplay Filters: Robust Zero-Shot Safety through Adversarial Imaginationcited by 12
35 more
- 2024Hamilton-Jacobi Reachability in Reinforcement Learning: A Surveycited by 11
- 2023Deception Game: Closing the Safety-Learning Loop in Interactive Robot Autonomycited by 9
- 2024One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environmentscited by 8
- 2021Safe Value Functionscited by 7
- 2025How to Train Your Latent Control Barrier Function: Smooth Safety Filtering Under Hard-to-Model Constraintscited by 7
- 2025V-OCBF: Learning Safety Filters from Offline Data via Value-Guided Offline Control Barrier Functionscited by 5
- 2024Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuationcited by 4
- 2025Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systemscited by 4
- 2024DADEE: Well-calibrated uncertainty quantification in neural networks for barriers-based robot safetycited by 3
- 2025Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functionscited by 3
- 2025Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networkscited by 3
- 2022Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safetycited by 2
- 2022Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functionscited by 2
- 2025ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworkscited by 2
- 2024Myopically Verifiable Probabilistic Certificates for Safe Control and Learningcited by 1
- 2024Domain Adaptive Safety Filters via Deep Operator Learningcited by 1
- 2024Pre-Trained Vision Models as Perception Backbones for Safety Filters in Autonomous Drivingcited by 1
- 2024Safe PDE Boundary Control with Neural Operatorscited by 1
- 2025Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Setscited by 1
- 2026DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Drivingcited by 1
- 2026CN-CBF: Composite Neural Control Barrier Function for Robot Navigation in Dynamic Environmentscited by 1
- 2023Learned Risk Metric Maps for Kinodynamic Systemscited by 0
- 2023Solving Robust MDPs through No-Regret Dynamicscited by 0
- 2024Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraintscited by 0
- 2025Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functionscited by 0
- 2025Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllerscited by 0
- 2025Learning Dynamics under Environmental Constraints via Measurement-Induced Bundle Structurescited by 0
- 2025Safety-Aware Imitation Learning via MPC-Guided Disturbance Injectioncited by 0
- 2025Safe and Nonconservative Contingency Planning for Autonomous Vehicles via Online Learning-Based Reachable Set Barrierscited by 0
- 2025Tail-Safe Hedging: Explainable Risk-Sensitive Reinforcement Learning with a White-Box CBF--QP Safety Layer in Arbitrage-Free Marketscited by 0
- 2025Learning Neural Control Barrier Functions from Expert Demonstrations using Inverse Constraint Learningcited by 0
- 2026ShardNet: Training Neural Controllers with Hard, Non-Convex Constraintscited by 0
- 2026Robust Peak-cost Constrained Reinforcement Learningcited by 0
- 2026Humanoid Safe Stop via Learned Stoppability Valuecited by 0
- 2026LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentialscited by 0
- 2026LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentials23 Sep 2026
- 2026Humanoid Safe Stop via Learned Stoppability Value2 Sep 2026
- 2026Robust Peak-cost Constrained Reinforcement Learning16 Jul 2026
- 2026ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints29 Jun 2026
- 2026CN-CBF: Composite Neural Control Barrier Function for Robot Navigation in Dynamic Environments6 Mar 2026
- 2026DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving22 Jan 2026
- 2025V-OCBF: Learning Safety Filters from Offline Data via Value-Guided Offline Control Barrier Functions11 Dec 2025
- 2025How to Train Your Latent Control Barrier Function: Smooth Safety Filtering Under Hard-to-Model Constraints23 Nov 2025
- 2025Learning Neural Control Barrier Functions from Expert Demonstrations using Inverse Constraint Learning24 Oct 2025
- 2025Tail-Safe Hedging: Explainable Risk-Sensitive Reinforcement Learning with a White-Box CBF--QP Safety Layer in Arbitrage-Free Markets6 Oct 2025
- 2025ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks20 Sep 2025
- 2025Safe and Nonconservative Contingency Planning for Autonomous Vehicles via Online Learning-Based Reachable Set Barriers9 Sep 2025
35 more
- 2025Safety-Aware Imitation Learning via MPC-Guided Disturbance Injection5 Aug 2025
- 2025Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems20 Jul 2025
- 2025Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks27 May 2025
- 2025Learning Dynamics under Environmental Constraints via Measurement-Induced Bundle Structures26 May 2025
- 2025Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions16 May 2025
- 2025Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers11 Apr 2025
- 2025Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets31 Mar 2025
- 2025Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions20 Feb 2025
- 2024One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments13 Dec 2024
- 2024Safe PDE Boundary Control with Neural Operators23 Nov 2024
- 2024Pre-Trained Vision Models as Perception Backbones for Safety Filters in Autonomous Driving29 Oct 2024
- 2024Domain Adaptive Safety Filters via Deep Operator Learning18 Oct 2024
- 2024Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints5 Oct 2024
- 2024Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey12 Jul 2024
- 2024DADEE: Well-calibrated uncertainty quantification in neural networks for barriers-based robot safety30 Jun 2024
- 2024Gameplay Filters: Robust Zero-Shot Safety through Adversarial Imagination1 May 2024
- 2024Myopically Verifiable Probabilistic Certificates for Safe Control and Learning23 Apr 2024
- 2024Safe Offline Reinforcement Learning with Feasibility-Guided Diffusion Model19 Jan 2024
- 2024Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation11 Jan 2024
- 2023Iterative Reachability Estimation for Safe Reinforcement Learning24 Sep 2023
- 2023The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems11 Sep 2023
- 2023Deception Game: Closing the Safety-Learning Loop in Interactive Robot Autonomy3 Sep 2023
- 2023Solving Robust MDPs through No-Regret Dynamics30 May 2023
- 2023Learned Risk Metric Maps for Kinodynamic Systems28 Feb 2023
- 2023In-Distribution Barrier Functions: Self-Supervised Policy Filters that Avoid Out-of-Distribution States27 Jan 2023
- 2022ISAACS: Iterative Soft Adversarial Actor-Critic for Safety6 Dec 2022
- 2022Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificate14 Oct 2022
- 2022Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions23 Aug 2022
- 2022Reachability Constrained Reinforcement Learning16 May 2022
- 2022Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety29 Mar 2022
- 2022SABLAS: Learning Safe Control for Black-box Dynamical Systems6 Jan 2022
- 2021Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations18 Nov 2021
- 2021Joint Synthesis of Safety Certificate and Safe Control Policy using Constrained Reinforcement Learning15 Nov 2021
- 2021Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learning13 Aug 2021
- 2021Safe Value Functions25 May 2021
- 2021Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learningcited by 337
- 2023The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systemscited by 77
- 2022Reachability Constrained Reinforcement Learningcited by 52
- 2023Iterative Reachability Estimation for Safe Reinforcement Learningcited by 33
- 2021Joint Synthesis of Safety Certificate and Safe Control Policy using Constrained Reinforcement Learningcited by 25
- 2022ISAACS: Iterative Soft Adversarial Actor-Critic for Safetycited by 24
- 2021Learning Robust Output Control Barrier Functions from Safe Expert Demonstrationscited by 19
- 2022SABLAS: Learning Safe Control for Black-box Dynamical Systemscited by 17
- 2022Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificatecited by 16
- 2023In-Distribution Barrier Functions: Self-Supervised Policy Filters that Avoid Out-of-Distribution Statescited by 15
- 2024Gameplay Filters: Robust Zero-Shot Safety through Adversarial Imaginationcited by 12
- 2024Hamilton-Jacobi Reachability in Reinforcement Learning: A Surveycited by 11
12 most cited of 41 All 41 (JSON)
- 2026LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentials23 Sep 2026
- 2026Humanoid Safe Stop via Learned Stoppability Value2 Sep 2026
- 2026Robust Peak-cost Constrained Reinforcement Learning16 Jul 2026
- 2026ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints29 Jun 2026
- 2026CN-CBF: Composite Neural Control Barrier Function for Robot Navigation in Dynamic Environments6 Mar 2026
- 2025How to Train Your Latent Control Barrier Function: Smooth Safety Filtering Under Hard-to-Model Constraints23 Nov 2025
- 2025Learning Neural Control Barrier Functions from Expert Demonstrations using Inverse Constraint Learning24 Oct 2025
- 2025Tail-Safe Hedging: Explainable Risk-Sensitive Reinforcement Learning with a White-Box CBF--QP Safety Layer in Arbitrage-Free Markets6 Oct 2025
- 2025ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks20 Sep 2025
- 2025Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems20 Jul 2025
- 2025Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks27 May 2025
- 2025Learning Dynamics under Environmental Constraints via Measurement-Induced Bundle Structures26 May 2025
12 newest of 41 All 41 (JSON)