2 papers
math.OC2026
Verification Framework for the Union of Control Barrier Functions
Chuanrui Jiang, Andrew Clark
Control Barrier Functions (CBFs) have been proposed to ensure safety of autonomous systems. This paper considers control policies that switch between CBF constraints. Under this ap…
eess.SY2024
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
Hongkai Dai, Chuanrui Jiang, Hongchao Zhang +1
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 sta…