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.

A Novel Attempt of Barrier Function to the Safety of Caputo's Fractional-Order Systems.

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

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

Distributed Adaptive Safe Fault-Tolerant Control for Nonlinear Systems Based on Barrier Function

A New Safety Criterion for Dynamics Systems by Barrier Function Based on Forward Invariant Set

Construction of parametric barrier functions for dynamical systems using interval analysis

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

Robustness of Control Barrier Functions for Safety Critical Control

Adaptive Mittag-Leffler Stabilization of a Class of Fractional Order Uncertain Nonlinear Systems

Non-linear Mittag–Leffler Stabilisation of Commensurate Fractional-Order Non-Linear Systems

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

Stability of fractional-order nonlinear systems by Lyapunov direct method

Barrier Pairs for Safety Control of Uncertain Output Feedback Systems

Control Barrier Functions for Systems with Multiple Control Inputs

Fractional Barrier Lyapunov Functions with Application to Learning Control

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

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

Barrier Functions for Switched and Impulsive Systems

Uncertain Asymptotic Stability Analysis of a Fractional-Order System with Numerical Aspects

An Innovative Modulating Functions Method for Pseudo-State Estimation of Fractional Order Systems.

Zero-order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety Constraints