Abstract:Learning-based control with safety guarantees usually requires real-time safety certification and modifications of possibly unsafe learning-based policies. The control barrier function (CBF) method uses a safety filter containing a constrained optimization problem to produce safe policies. However, finding a valid CBF for a general nonlinear system requires a complex function parameterization, which in general, makes the policy optimization problem difficult to solve in real time. For nonlinear systems with nonlinear state constraints, this paper proposes the novel concept of state-action CBFs, which not only characterize the safety at each state but also evaluate the control inputs taken at each state. State-action CBFs, in contrast to CBFs, enable a flexible parameterization, resulting in a safety filter that involves a convex quadratic optimization problem. This, in turn, significantly alleviates the online computational burden. To synthesize state-action CBFs, we propose a learning-based approach exploiting Hamilton-Jacobi reachability. The effect of learning errors on the effectiveness of state-action CBFs is addressed by constraint tightening and introducing a new concept called contractive CBFs. These contributions ensure formal safety guarantees for learned CBFs and control policies, enhancing the applicability of learning-based control in real-time scenarios. Simulation results on an inverted pendulum with elastic walls validate the proposed CBFs in terms of constraint satisfaction and CPU time.

Learning Local Control Barrier Functions for Hybrid Systems

Whole-body Dynamic Collision Avoidance with Time-varying Control Barrier Functions

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions

Learning for Safety-Critical Control with Control Barrier Functions

Learning a Better Control Barrier Function Under Uncertain Dynamics

Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control

Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation

Learning-based Parameterized Barrier Function for Safety-Critical Control of Unknown Systems

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions

Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates

Hybrid control barrier functions for continuous-time systems

Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

Online Control Barrier Function Construction for Safety-Critical Motion Control of Manipulators

State-action control barrier functions: Imposing safety on learning-based control with low online computational costs

A Learning-Based Method for Computing Control Barrier Functions of Nonlinear Systems With Control Constraints

Safety‐critical Control for Robotic Systems with Uncertain Model Via Control Barrier Function

Advances in the Theory of Control Barrier Functions: Addressing practical challenges in safe control synthesis for autonomous and robotic systems

BarrierNet: Differentiable Control Barrier Functions for Learning of Safe Robot Control

On the Optimality, Stability, and Feasibility of Control Barrier Functions: An Adaptive Learning-Based Approach

Multi-Layered Safety-Critical Control Design for Robotic Systems Via Control Barrier Functions