On a notion of stochastic zeroing barrier function

Tua A. Tamba, Bin Hu, Yul Y. Nazaruddin

This note examines the safety verification of the solution of Ito stochastic differential equations using the notion of stochastic zeroing barrier function. The main tools in the p…