Tootfinder

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
Pol Mestres, Blake Werner, Ryan K. Cosner, Aaron D. Ames
https://arxiv.org/abs/2510.01501

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
Control systems operating in the real world face countless sources of unpredictable uncertainties. These random disturbances can render deterministic guarantees inapplicable and cause catastrophic safety failures. To overcome this, this paper proposes a method for designing safe controllers for discrete-time stochastic systems that retain probabilistic guarantees of safety. To do this we modify the traditional notion of a control barrier function (CBF) to explicitly account for these stochastic…