Abstract:Control barrier function (CBF)-based safety filters are used to certify and modify potentially unsafe control inputs to a system such as those provided by a reinforcement learning agent or a non-expert user. In this context, safety is defined as the satisfaction of state constraints. Originally designed for continuous-time systems, CBF safety filters typically assume that the system's relative degree is well-defined and is constant across the domain; however, this assumption is restrictive and rarely verified -- even linear system dynamics with a quadratic CBF candidate may not satisfy this assumption. In real-world applications, continuous-time CBF safety filters are implemented in discrete time, exacerbating issues related to violating the condition on the relative degree. These violations can lead to the safety filter being unconstrained (any control input may be certified) for a finite time interval and result in chattering issues and constraint violations. We propose an alternative formulation to address these challenges. Specifically, we present a theoretically sound method that employs multiple CBFs to generate bounded control inputs at each state within the safe set, thereby preventing incorrect certification of arbitrary control inputs. Using this approach, we derive conditions on the maximum sampling time to ensure safety in discrete-time implementations. We demonstrate the effectiveness of our proposed method through simulations and real-world quadrotor experiments, successfully preventing chattering and constraint violations. Finally, we discuss the implications of violating the relative degree condition on CBF synthesis and learning-based CBF methods.

Characterizing Smooth Safety Filters via the Implicit Function Theorem

Advanced safety filter based on SOS Control Barrier and Lyapunov Functions

Practical Considerations for Discrete-Time Implementations of Continuous-Time Control Barrier Function-Based Safety Filters

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

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition

Preventing Unconstrained CBF Safety Filters Caused by Invalid Relative Degree Assumptions

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

A Comparative Study of Artificial Potential Fields and Safety Filters

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

Control Barrier Function Based Quadratic Programs for Safety Critical Systems

Soft-Minimum Barrier Functions for Safety-Critical Control Subject to Actuation Constraints

Iterative Convex Optimization for Safety-Critical Model Predictive Control

Safe Collective Control under Noisy Inputs and Competing Constraints via Non-Smooth Barrier Functions

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

Approximate Predictive Control Barrier Functions using Neural Networks: A Computationally Cheap and Permissive Safety Filter

Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems

Characterization of the Dynamical Properties of Safety Filters for Linear Planar Systems

Safe PDE Backstepping QP Control With High Relative Degree CBFs: Stefan Model With Actuator Dynamics

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis