论文标题
关于随机零屏障函数的概念
On a notion of stochastic zeroing barrier function
论文作者
论文摘要
本说明使用随机零屏障函数的概念检查了ITO随机微分方程的解决方案的安全验证。提出的方法中的主要工具包括ITO微积分和随机不变集的概念。
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.
