Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918460487892992 |
|---|---|
| author | Mestres, Pol Mousavi, Shima Sadat Ong, Pio Yang, Lizhi Das, Ersin Burdick, Joel W. Ames, Aaron D. |
| author_facet | Mestres, Pol Mousavi, Shima Sadat Ong, Pio Yang, Lizhi Das, Ersin Burdick, Joel W. Ames, Aaron D. |
| contents | This paper studies the efficient implementation of safety filters that are designed using control barrier functions (CBFs), which minimally modify a nominal controller to render it safe with respect to a prescribed set of states. Although CBF-based safety filters are often implemented by solving a quadratic program (QP) in real time, the use of off-the-shelf solvers for such optimization problems poses a challenge in applications where control actions need to be computed efficiently at very high frequencies. In this paper, we introduce a closed-form expression for controllers obtained through CBF-based safety filters. This expression is obtained by partitioning the state-space into different regions, with a different closed-form solution in each region. We leverage this formula to introduce a resource-aware implementation of CBF-based safety filters that detects changes in the partition region and uses the closed-form expression between changes. We showcase the applicability of our approach in examples ranging from aerospace control to safe reinforcement learning. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_10118 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation Mestres, Pol Mousavi, Shima Sadat Ong, Pio Yang, Lizhi Das, Ersin Burdick, Joel W. Ames, Aaron D. Systems and Control Optimization and Control This paper studies the efficient implementation of safety filters that are designed using control barrier functions (CBFs), which minimally modify a nominal controller to render it safe with respect to a prescribed set of states. Although CBF-based safety filters are often implemented by solving a quadratic program (QP) in real time, the use of off-the-shelf solvers for such optimization problems poses a challenge in applications where control actions need to be computed efficiently at very high frequencies. In this paper, we introduce a closed-form expression for controllers obtained through CBF-based safety filters. This expression is obtained by partitioning the state-space into different regions, with a different closed-form solution in each region. We leverage this formula to introduce a resource-aware implementation of CBF-based safety filters that detects changes in the partition region and uses the closed-form expression between changes. We showcase the applicability of our approach in examples ranging from aerospace control to safe reinforcement learning. |
| title | Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation |
| topic | Systems and Control Optimization and Control |
| url | https://arxiv.org/abs/2512.10118 |