Structure, Feasibility, and Explicit Safety Filters for Linear Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917385625141248 |
|---|---|
| author | Mousavi, Shima Sadat Cohen, Max H. Mestres, Pol Ames, Aaron D. |
| author_facet | Mousavi, Shima Sadat Cohen, Max H. Mestres, Pol Ames, Aaron D. |
| contents | Safety filters based on control barrier functions (CBFs) and high-order control barrier functions (HOCBFs) are often implemented through quadratic programs (QPs). In general, especially in the presence of multiple constraints, feasibility is difficult to certify before solving the QP and may be lost as the state evolves. This paper addresses this issue for linear time-invariant (LTI) systems with affine safety constraints. Exploiting the resulting geometry of the constraint normals, and considering both unbounded and bounded inputs, we characterize feasibility for several structured classes of constraints. For certain such cases, we also derive closed-form safety filters. These explicit filters avoid online optimization and provide a simple alternative to QP-based implementations. Numerical examples illustrate the results. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_04235 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Structure, Feasibility, and Explicit Safety Filters for Linear Systems Mousavi, Shima Sadat Cohen, Max H. Mestres, Pol Ames, Aaron D. Systems and Control Optimization and Control Safety filters based on control barrier functions (CBFs) and high-order control barrier functions (HOCBFs) are often implemented through quadratic programs (QPs). In general, especially in the presence of multiple constraints, feasibility is difficult to certify before solving the QP and may be lost as the state evolves. This paper addresses this issue for linear time-invariant (LTI) systems with affine safety constraints. Exploiting the resulting geometry of the constraint normals, and considering both unbounded and bounded inputs, we characterize feasibility for several structured classes of constraints. For certain such cases, we also derive closed-form safety filters. These explicit filters avoid online optimization and provide a simple alternative to QP-based implementations. Numerical examples illustrate the results. |
| title | Structure, Feasibility, and Explicit Safety Filters for Linear Systems |
| topic | Systems and Control Optimization and Control |
| url | https://arxiv.org/abs/2604.04235 |