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…