# High-order Barrier Functions: Robustness, Safety and Performance-Critical Control

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

## Key facts

- Cited by 8 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 31 Mar 2021.

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

- [Differentiable Predictive Control with Safety Guarantees: A Control Barrier Function Approach](https://mlsanity.com/paper/2208.02319/) (2022)
- [A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis](https://mlsanity.com/paper/2309.06090/) (2023)
- [Meta-Reinforcement Learning for Robust and Non-greedy Control Barrier Functions in Spacecraft Proximity Operations](https://mlsanity.com/paper/2602.07335/) (2026)
- [Safe Learning Control with Optimality and Stability Guarantees](https://mlsanity.com/paper/2501.15373/) (2025)
- [Provably Safe, Yet Scalable Reinforcement Learning](https://mlsanity.com/paper/2606.14536/) (2026)
- [Safe Reinforcement Learning in Tensor Reproducing Kernel Hilbert Space](https://mlsanity.com/paper/2312.00727/) (2023)
- [Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks](https://mlsanity.com/paper/2402.18677/) (2024)
- [Response-Aware Risk-Constrained Control Barrier Function With Application to Vehicles](https://mlsanity.com/paper/2603.24598/) (2026)

## Abstract (arXiv)

In this paper, we propose a notion of high-order (zeroing) barrier functions that generalizes the concept of zeroing barrier functions and guarantees set forward invariance by checking their higher order derivatives. The proposed formulation guarantees asymptotic stability of the forward invariant set, which is highly favorable for robustness with respect to model perturbations. No forward completeness assumption is needed in our setting in contrast to existing high order barrier function methods. For the case of controlled dynamical systems, we relax the requirement of uniform relative degree and propose a singularity-free control scheme that yields a locally Lipschitz control signal and guarantees safety. Furthermore, the proposed formulation accounts for "performance-critical" control: it guarantees that a subset of the forward invariant set will admit any existing, bounded control law, while still ensuring forward invariance of the set. Finally, a non-trivial case study with rigid-body attitude dynamics and interconnected cell regions as the safe region is investigated.