# Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation

arXiv: https://arxiv.org/abs/2512.10118 · HTML: https://mlsanity.com/paper/2512.10118/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 10 Dec 2025.

## Built on by (most cited first, 1 of 1)

- [Learned Lyapunov Shielding for Adaptive Control](https://mlsanity.com/paper/2605.06934/) (2026)

## Abstract (arXiv)

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.