Abstract:Safety and stability are essential properties of control systems. Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) are powerful tools to ensure safety and stability respectively. However, previous approaches typically verify and synthesize the CBFs and CLFs separately, satisfying their respective constraints, without proving that the CBFs and CLFs are compatible with each other, namely at every state, there exists control actions within the input limits that satisfy both the CBF and CLF constraints simultaneously. Ignoring the compatibility criteria might cause the CLF-CBF-QP controller to fail at runtime. There exists some recent works that synthesized compatible CLF and CBF, but relying on nominal polynomial or rational controllers, which is just a sufficient but not necessary condition for compatibility. In this work, we investigate verification and synthesis of compatible CBF and CLF independent from any nominal controllers. We derive exact necessary and sufficient conditions for compatibility, and further formulate Sum-Of-Squares programs for the compatibility verification. Based on our verification framework, we also design a nominal-controller-free synthesis method, which can effectively expands the compatible region, in which the system is guaranteed to be both safe and stable. We evaluate our method on a non-linear toy problem, and also a 3D quadrotor to demonstrate its scalability. The code is open-sourced at \url{<a class="link-external link-https" href="https://github.com/hongkai-dai/compatible_clf_cbf" rel="external noopener nofollow">this https URL</a>}.

Relaxed Compatibility Between Control Barrier and Lyapunov Functions

Guaranteeing Stability and Safety in Safety-Critical Systems: A Relaxed Converse Lyapunov-Barrier Theorem

Stabilization of Nonlinear Systems through Control Barrier Functions

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

Robustness of Control Barrier Functions for Safety Critical Control

SOS Construction of Compatible Control Lyapunov and Barrier Functions

A Survey on the Control Lyapunov Function and Control Barrier Function for Nonlinear-Affine Control Systems

Safe stabilization using generalized Lyapunov barrier function

Equilibria and Their Stability Do Not Depend on the Control Barrier Function in Safe Optimization-Based Control

Robust State-Constrained Control Design for Nonlinear Systems with Uncertainties Using a New Barrier Lyapunov Function.

On the Stability of Undesirable Equilibria in the Quadratic Program Framework for Safety-Critical Control

Vector Control Lyapunov and Barrier Functions for Safe Stabilization of Interconnected Systems.

Robustness of Modified Control Barrier Functions Subject to External Disturbances

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

Guaranteed Stabilization and Safety of Nonlinear Systems Via Sliding Mode Control

Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications

Extent-compatible control barrier functions

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

Learning a Better Control Barrier Function Under Uncertain Dynamics

Control Synthesis for Stability and Safety by Differential Complementarity Problem