{"id":"arxiv/2604.04235","url":"https://arxiv.org/abs/2604.04235","tags":["eess.SY","math.OC"],"score":0,"title":"Feasibility and Explicit Safety Filters for Control Barrier Functions in Linear Systems","domain":"eess.SY","source":"arxiv","authors":["Shima Sadat Mousavi","Max H. Cohen","Pol Mestres","Aaron D. Ames"],"reviews":0,"subject":"eess.SY","summary":"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…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-04-05","reactions":{}}