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>}.

Lyapunov-barrier characterization of robust reach–avoid–stay specifications for hybrid systems

Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications

Study on Stability of Hybrid Systems via Multiple Lyapunov Functions

Robust Absolute Stability For General Neutral Type Lurie Indirect Control Systems

Stability Analysis For A Class Of Uncertain Nonlinear Hybrid Systems

Robust Stability of Hybrid Discrete Systems with Parameter Perturbation

Robust Stabilization of Uncertain Hybrid Systems with Multiple Equilibria

Reachability and Stabilization of Discrete-Time Affine Systems with Disturbances

Robustness of Control Barrier Functions for Safety Critical Control

Safe stabilization using generalized Lyapunov barrier function

Hybrid Minimum-Seeking in Synergistic Lyapunov Functions: Robust Global Stabilization under Unknown Control Directions

Converse Barrier Functions via Lyapunov Functions

Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

Tightened reachability constraints for safety verification of linear hybrid systems

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions

Delta-Complete Analysis for Bounded Reachability of Hybrid Systems

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

Hybrid Feedback for Affine Nonlinear Systems with Application to Global Obstacle Avoidance (Extended Version)

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.

Stabilization of Nonlinear Systems through Control Barrier Functions