Almost-sure safety guarantees of stochastic zero-control barrier functions do not hold

O So, A Clark, C Fan - arXiv preprint arXiv:2312.02430, 2023 - arxiv.org
arXiv preprint arXiv:2312.02430, 2023arxiv.org
The 2021 paper" Control barrier functions for stochastic systems" provides theorems that
give almost sure safety guarantees given stochastic zero control barrier function (ZCBF).
Unfortunately, both the theorem and its proof is invalid. In this letter, we illustrate on a toy
example that the almost sure safety guarantees for stochastic ZCBF do not hold and explain
why the proof is flawed. Although stochastic reciprocal barrier functions (RCBF) also uses
the same proof technique, we provide a different proof technique that verifies that stochastic …
The 2021 paper "Control barrier functions for stochastic systems" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). Unfortunately, both the theorem and its proof is invalid. In this letter, we illustrate on a toy example that the almost sure safety guarantees for stochastic ZCBF do not hold and explain why the proof is flawed. Although stochastic reciprocal barrier functions (RCBF) also uses the same proof technique, we provide a different proof technique that verifies that stochastic RCBFs are indeed safe with probability one. Using the RCBF, we derive a modified ZCBF condition that guarantees safety with probability one. Finally, we provide some discussion on the role of unbounded controls in the almost-sure safety guarantees of RCBFs, and show that the rate of divergence of the ratio of the drift and diffusion is the key for whether a system has almost sure safety guarantees.
arxiv.org