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.

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach

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

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

Robustness of Control Barrier Functions for Safety Critical Control

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

Control Barrier Function Based Quadratic Programs for Safety Critical Systems

Learning Differentiable Safety-Critical Control using Control Barrier Functions for Generalization to Novel Environments

Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration

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

Learning for Safety-Critical Control with Control Barrier Functions

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions

Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions

End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks

On the Optimality, Stability, and Feasibility of Control Barrier Functions: An Adaptive Learning-Based Approach

Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications

Learning-Based Control Barrier Function with Provably Safe Guarantees: Reducing Conservatism with Heading-Aware Safety Margin

Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes

Toward model-free safety-critical control with humans in the loop

Learning Local Control Barrier Functions for Hybrid Systems