On a notion of stochastic zeroing barrier function

Tua Agustinus Tamba, Bin Hu, Yul Y. Nazaruddin

Abstract: 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 proposed method include Ito calculus and the concept of stochastic invariant set.