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.

Prediction-Based Control Barrier Functions for Input-Constrained Safety Critical Systems

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

Safe Adaptive Control for Uncertain Systems with Complex Input Constraints

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

Control Barrier Functions for Linear Continuous-Time Input-Delay Systems with Limited-Horizon Previewable Disturbances

Robust Control Barrier Functions with Uncertainty Estimation

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

Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function

Construction of Control Barrier Functions Using Predictions with Finite Horizon

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

Probabilistically safe controllers based on control barrier functions and scenario model predictive control

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions

Learning a Better Control Barrier Function Under Uncertain Dynamics

Passivity-Preserving Safety-Critical Control using Control Barrier Functions

Composition of Control Barrier Functions With Differing Relative Degrees for Safety Under Input Constraints

Discrete-Time Control Barrier Function: High-Order Case and Adaptive Case.

Control Barrier Functions for Systems with Multiple Control Inputs

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

Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints