2604.01444 Safety-Critical Control Barrier Functions Fail Under Model Uncertainty: A Robust Reformulation with Formal Guarantees
Control barrier functions (CBFs) provide formal safety guarantees for dynamical systems, but standard formulations assume perfect model knowledge. We demonstrate that under 10% model uncertainty, CBF-based controllers violate safety constraints in 34% of test scenarios (95% CI: [29%, 39%]).