{"id":"arxiv/2603.16074","url":"https://arxiv.org/abs/2603.16074","tags":["eess.SY","math.OC"],"score":0,"title":"Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions","domain":"eess.SY","source":"arxiv","authors":["Tianyu Han","Guangwei Wang","Bo Wang"],"reviews":0,"subject":"eess.SY","summary":"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 for extended continuous time intervals. This paper develops a finite boundary-layer residence certificate for such settings. The certificate preserves the standard non-strict CBF safety condition and uses a bounded auxiliary function whose derivative is bounded away from zero in a prescribed boundary layer, yielding an explicit upper bound on every uninterrupted residence interval. For control-affine systems, a…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-03-17","reactions":{}}