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.

The effect of control barrier functions on energy transfers in controlled physical systems

Further deleterious effects of the dissipation obstacle in control-by-interconnection of port-Hamiltonian systems

Passivity-Preserving Safety-Critical Control using Control Barrier Functions

Dissipation Obstacle Hampers Control—by—Interconnection Methodology

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

Limiting Kinetic Energy through Control Barrier Functions: Analysis and Experimental Validation

On the relationship between control barrier functions and projected dynamical systems

Using Circulation to Mitigate Spurious Equilibria in Control Barrier Function -- Extended Version

Non-positive Barrier Function:A New Notion of Barrier Function for State-Safety Control of Nonlinear Dynamical Systems

Control Barrier Functions With Circulation Inequalities

Survey Paper on Control Barrier Functions

Robustness of Control Barrier Functions for Safety Critical Control

Using Dynamic Safety Margins as Control Barrier Functions

First Attempt of Barrier Functions for Caputo's Fractional-Order Nonlinear Dynamical Systems

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

Control Barrier Functions for Systems with Multiple Control Inputs

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

Optimal Control Barrier Functions: Maximizing the Action Space Subject to Control Bounds

Hybrid control barrier functions for continuous-time systems

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