Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions

Tianyu Han, Guangwei Wang, Bo Wang

Non-strict control barrier function (CBF) conditions guarantee safety through forward invariance, but they do not preclude trajectories from remaining near the safe-set boundary fo…