Abstract:Barrier functions (also called certificates) have been an important tool for the verification of hybrid systems, and have also played important roles in optimization and multi-objective control. The extension of a barrier function to a controlled system results in a control barrier function. This can be thought of as being analogous to how Sontag extended Lyapunov functions to control Lyapunov functions in order to enable controller synthesis for stabilization tasks. A control barrier function enables controller synthesis for safety requirements specified by forward invariance of a set using a Lyapunov-like condition. This paper develops several important extensions to the notion of a control barrier function. The first involves robustness under perturbations to the vector field defining the system. Input-to-State stability conditions are given that provide for forward invariance, when disturbances are present, of a "relaxation" of set rendered invariant without disturbances. A control barrier function can be combined with a control Lyapunov function in a quadratic program to achieve a control objective subject to safety guarantees. The second result of the paper gives conditions for the control law obtained by solving the quadratic program to be Lipschitz continuous and therefore to gives rise to well-defined solutions of the resulting closed-loop system.

Greedy Synthesis of Event- and Self-Triggered Controls with Control Lyapunov-Barrier Function

Self-triggered Control for Safety Critical Systems Using Control Barrier Functions

Safe Barrier-Constrained Control of Uncertain Systems via Event-triggered Learning

Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach

Advances in the Theory of Control Barrier Functions: Addressing Practical Challenges in Safe Control Synthesis for Autonomous and Robotic Systems

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes

Robustness of Control Barrier Functions for Safety Critical Control

Performance-Barrier-Based Event-Triggered Control with Applications to Network Systems

Control of nonlinear systems under dynamic constraints: A unified barrier function-based approach

Control Barrier Functionals: Safety-critical Control for Time Delay Systems

Consolidated Control Barrier Functions: Synthesis and Online Verification via Adaptation under Input Constraints

Safety-Critical Control for Systems with Impulsive Actuators and Dwell Time Constraints

Safety-critical event-triggered control of nonlinear systems with tunable input-to-state safe barrier functions

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs

Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions

Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties

Adaptive control based on Barrier Lyapunov function for a class of full-state constrained stochastic nonlinear systems with dead-zone and unmodeled dynamics

Adaptive Event-Triggered Control for Nonlinear Systems with Asymmetric State Constraints: A Prescribed-Time Approach

Predictive Control Barrier Functions: Enhanced Safety Mechanisms for Learning-Based Control