Abstract:Providing safety guarantees for learning-based controllers is important for real-world applications. One approach to realizing safety for arbitrary control policies is safety filtering. If necessary, the filter modifies control inputs to ensure that the trajectories of a closed-loop system stay within a given state constraint set for all future time, referred to as the set being positive invariant or the system being safe. Under the assumption of fully known dynamics, safety can be certified using control barrier functions (CBFs). However, the dynamics model is often either unknown or only partially known in practice. Learning-based methods have been proposed to approximate the CBF condition for unknown or uncertain systems from data; however, these techniques do not account for input constraints and, as a result, may not yield a valid CBF condition to render the safe set invariant. In this work, we study conditions that guarantee control invariance of the system under input constraints and propose an optimization problem to reduce the conservativeness of CBF-based safety filters. Building on these theoretical insights, we further develop a probabilistic learning approach that allows us to build a safety filter that guarantees safety for uncertain, input-constrained systems with high probability. We demonstrate the efficacy of our proposed approach in simulation and real-world experiments on a quadrotor and show that we can achieve safe closed-loop behavior for a learned system while satisfying state and input constraints.

Learning Input Constrained Control Barrier Functions for Guaranteed Safety of Car-Like Robots

Safe Tracking Control for Free-Flying Space Robots Via Control Barrier Functions

Learning-Based Control Barrier Function with Provably Safe Guarantees: Reducing Conservatism with Heading-Aware Safety Margin

Robust Safe Learning and Control in An Unknown Environment: An Uncertainty-Separated Control Barrier Function Approach

Learning for Safety-Critical Control with Control Barrier Functions

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

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

Learning a Better Control Barrier Function Under Uncertain Dynamics

Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

Optimized Control Invariance Conditions for Uncertain Input-Constrained Nonlinear Control Systems

Neural Control Barrier Functions for Safe Navigation

Learning to Refine Input Constrained Control Barrier Functions via Uncertainty-Aware Online Parameter Adaptation

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

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

Learning Barrier Functions With Memory for Robust Safe Navigation

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming

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

Learning Local Control Barrier Functions for Hybrid Systems

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

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