Topological Obstructions to the Existence of Control Barrier Functions

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: de Sa, Massimiliano, Ames, Aaron D.
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866908900449583104
author de Sa, Massimiliano
Ames, Aaron D.
author_facet de Sa, Massimiliano
Ames, Aaron D.
contents In 1983, Brockett developed a topological necessary condition for the existence of continuous, asymptotically stabilizing control laws. Building upon recent work on necessary conditions for set stabilization, we develop Brockett-like necessary conditions for the existence of control barrier functions (CBFs). By leveraging the unique geometry of CBF safe sets, we provide simple and self-contained derivations of necessary conditions for the existence of CBFs and their safe, continuous controllers. We demonstrate the application of these conditions to instructive examples and kinematic nonholonomic systems, and discuss their relationship to Brockett's necessary condition.
format Preprint
id arxiv_https___arxiv_org_abs_2603_18422
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Topological Obstructions to the Existence of Control Barrier Functions
de Sa, Massimiliano
Ames, Aaron D.
Systems and Control
Optimization and Control
In 1983, Brockett developed a topological necessary condition for the existence of continuous, asymptotically stabilizing control laws. Building upon recent work on necessary conditions for set stabilization, we develop Brockett-like necessary conditions for the existence of control barrier functions (CBFs). By leveraging the unique geometry of CBF safe sets, we provide simple and self-contained derivations of necessary conditions for the existence of CBFs and their safe, continuous controllers. We demonstrate the application of these conditions to instructive examples and kinematic nonholonomic systems, and discuss their relationship to Brockett's necessary condition.
title Topological Obstructions to the Existence of Control Barrier Functions
topic Systems and Control
Optimization and Control
url https://arxiv.org/abs/2603.18422