Refining Control Barrier Functions through Hamilton-Jacobi Reachability

Sander Tonkens, Sylvia Herbert

Safety filters based on Control Barrier Functions (CBFs) have emerged as a practical tool for the safety-critical control of autonomous systems. These approaches encode safety thro…