Safe Leader-Follower Density Control via Higher-Order Mean-Field Control Barrier Functions
Abstract
Mean-field control barrier functions (MF-CBFs) enforce safety of large-scale multi-agent systems at the level of densities, but existing formulations require the control to act directly on the population to be kept safe. We consider populations that are not directly actuated and are influenced only through other, controlled populations, possibly in the presence of diffusion. We show that if the constrained population lies at directed graph distance d from the actuated one, then, under a nondegeneracy condition, the safety functional has relative degree d+1 and the control enters its (d+1)-th time derivative affinely. Higher-order safety constraints can therefore still be enforced through a convex quadratic program. We apply the framework to leader-follower density control among dangerous regions, where the follower safety functional has relative degree two and the leader safety functional has relative degree one. We characterize exactly when the two constraints are jointly infeasible and bound the tracking errors induced by the safety correction. Simulations in cluttered environments show that the proposed filter preserves follower safety, whereas enforcing leader safety alone does not.
Related
- General Leader-Follower Linear-Quadratic Stochastic Graphon Games with Indefinite Control Weights
- On noncooperative oligopoly equilibrium in the multiple leader–follower game
- Stability of ideal Nash equilibrium points in generalized multi-criteria games, interval-valued games, and existence in single-leader--multi-follower problems
- Are Single-Leader-Multi-Follower Problems Particular Cases of Bilevel Optimization?
- Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification
BibTeX
@misc{tomaselli2026safe,
title = {{Safe Leader-Follower Density Control via Higher-Order Mean-Field Control Barrier Functions}},
author = {Cinzia Tomaselli and Mario di Bernardo},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.04733},
eprint = {2610.04733},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.04733},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Safe Leader-Follower Density Control via Higher-Order Mean-Field Control Barrier Functions
AU - Cinzia Tomaselli
AU - Mario di Bernardo
PY - 2026
DA - 2026/10/23
PB - arXiv
DO - 10.48550/arxiv.2610.04733
UR - https://arxiv.org/abs/2610.04733
AB - Mean-field control barrier functions (MF-CBFs) enforce safety of large-scale multi-agent systems at the level of densities, but existing formulations require the control to act directly on the population to be kept safe. We consider populations that are not directly actuated and are influenced only through other, controlled populations, possibly in the presence of diffusion. We show that if the constrained population lies at directed graph distance d from the actuated one, then, under a nondegeneracy condition, the safety functional has relative degree d+1 and the control enters its (d+1)-th time derivative affinely. Higher-order safety constraints can therefore still be enforced through a convex quadratic program. We apply the framework to leader-follower density control among dangerous regions, where the follower safety functional has relative degree two and the leader safety functional has relative degree one. We characterize exactly when the two constraints are jointly infeasible and bound the tracking errors induced by the safety correction. Simulations in cluttered environments show that the proposed filter preserves follower safety, whereas enforcing leader safety alone does not.
ER -