{"id":"arxiv/2606.08255","url":"https://arxiv.org/abs/2606.08255","tags":["eess.SY","math.OC"],"score":0,"title":"Exactness Certificates for Closed-Form CBF Safety-Filter Projections","domain":"eess.SY","source":"arxiv","authors":["Ankit Goel"],"reviews":0,"subject":"eess.SY","summary":"For control-affine systems, standard and high-order control barrier function conditions are affine in the control input and are commonly enforced through quadratic-program-based safety filters. Although convex, these optimization problems may be undesirable in embedded, high-rate, or resource-limited implementations. This letter characterizes when the corresponding Euclidean projection can be recovered from the affine inequalities violated by a nominal control input. Given a nominal input, we form the violated set and compute the minimum-norm correction that enforces the violated…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-06-06","reactions":{}}