Feasibility and Explicit Safety Filters for Control Barrier Functions in Linear Systems

Shima Sadat Mousavi, Max H. Cohen, Pol Mestres, Aaron D. Ames

arXivarxiv/2604.04235Apr 5, 2026eess.SYscore 0

Safety filters based on control barrier functions (CBFs) and high-order control barrier functions (HOCBFs) are commonly implemented through quadratic programs (QPs), which may become infeasible under conflicting safety and actuator constraints. For linear systems with affine safety functions, we exploit repeated input-space directions to obtain an explicit polyhedral feasibility domain, linear-program certificates for regional feasibility and final-gain selection, and conditions identifying gain-independent obstructions and the minimum common final gain. A compatible QP metric yields an…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2604.04235
curl -X POST /api/v1/records/arxiv/2604.04235/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.04235/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'