collaborators

1 paper

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…