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.

Safe Control Synthesis Using Environmentally Robust Control Barrier Functions

Safe and Stable Control Synthesis for Uncertain System Models via Distributionally Robust Optimization

Safe Control Design through Risk-Tunable Control Barrier Functions

Robust Control Barrier Functions for Safe Control Under Uncertainty Using Extended State Observer and Output Measurement

Robust Control Barrier Functions with Uncertainty Estimation

Robust Control Barrier Functions using Uncertainty Estimation with Application to Mobile Robots

Safe Adaptive Control for Uncertain Systems with Complex Input Constraints

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions

Synthesis and verification of robust-adaptive safe controllers

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

Confidence-Aware Safe and Stable Control of Control-Affine Systems

Robust Safe Learning and Control in An Unknown Environment: An Uncertainty-Separated Control Barrier Function Approach

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems

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

Control Barrier Function Based Quadratic Programs for Safety Critical Systems

Robustness of Modified Control Barrier Functions Subject to External Disturbances

Robust control barrier functions for constrained stabilization of nonlinear systems

Control Density Function for Robust Safety and Convergence

Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

Robustness of Control Barrier Functions for Safety Critical Control