Unmatched Control Barrier Functions: Certainty Equivalence Adaptive Safety
Not on the map. Why?
Abstract (arXiv)
This work applies universal adaptive control to control barrier functions to achieve forward invariance of a safe set despite the presence of unmatched parametric uncertainties. The approach combines two ideas. The first is to construct a family of control barrier functions that ensures the system is safe for all possible models. The second is to use online parameter adaptation to methodically select a control barrier function and corresponding safety controller from the allowable set. While such a combination does not necessarily yield forward invariance without additional requirements on the barrier function, we show that such invariance can be established by simply adjusting the adaptation gain online. It is also shown that the developed method is applicable to systems with safety constraints that have a relative degree greater than one. This work thus represents the first adaptive safety approach that successfully employs the certainty equivalence principle for general state constraints without sacrificing safety guarantees.
Key facts. Cited by 4 papers in the map (data through 7 Oct 2026). First posted on arXiv 28 Jul 2022.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2024: 2; 2025: 1; 2026: 1.
4 papers.
- 2024Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddingscited by 9
- 2024Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verificationcited by 3
- 2025BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systemscited by 0
- 2026Kernel-Based Learning of Safety Barrierscited by 0
- 2026Kernel-Based Learning of Safety Barriers17 Jan 2026
- 2025BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems12 Nov 2025
- 2024Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification15 Jul 2024
- 2024Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings15 Mar 2024