Abstract:Safety critical systems involve the tight coupling between potentially conflicting control objectives and safety constraints. As a means of creating a formal framework for controlling systems of this form, and with a view toward automotive applications, this paper develops a methodology that allows safety conditions-expressed as control barrier functions-to be unified with performance objectives-expressed as control Lyapunov functions-in the context of real-time optimization-based controllers. Safety conditions are specified in terms of forward invariance of a set, and are verified via two novel generalizations of barrier functions; in each case, the existence of a barrier function satisfying Lyapunov-like conditions implies forward invariance of the set, and the relationship between these two classes of barrier functions is characterized. In addition, each of these formulations yields a notion of control barrier function (CBF), providing inequality constraints in the control input that, when satisfied, again imply forward invariance of the set. Through these constructions, CBFs can naturally be unified with control Lyapunov functions (CLFs) in the context of a quadratic program (QP); this allows for the achievement of control objectives (represented by CLFs) subject to conditions on the admissible states of the system (represented by CBFs). The mediation of safety and performance through a QP is demonstrated on adaptive cruise control and lane keeping, two automotive control problems that present both safety and performance considerations coupled with actuator bounds.

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

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

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

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

Robustness of Control Barrier Functions for Safety Critical Control

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

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

A New Barrier Certificate for Safety Verification of Hybrid Systems

Extent-compatible control barrier functions

Construction of parametric barrier functions for dynamical systems using interval analysis

Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

Control Barrier Function Based Quadratic Programs for Safety Critical Systems

Safety of Dynamical Systems with Multiple Non-Convex Unsafe Sets Using Control Barrier Functions

Barrier Pairs for Safety Control of Uncertain Output Feedback Systems

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

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

Learning a Better Control Barrier Function Under Uncertain Dynamics

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

Converse Barrier Functions via Lyapunov Functions