Gives necessary and sufficient exactness certificates based on primal and dual feasibility for when a violated-set closed-form correction equals the exact Euclidean projection in CBF safety filters.
Explicit Control Barrier Function-Based Safety Filters and their Resource-Aware Computation
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Exactness Certificates for Closed-Form CBF Safety-Filter Projections
Gives necessary and sufficient exactness certificates based on primal and dual feasibility for when a violated-set closed-form correction equals the exact Euclidean projection in CBF safety filters.