Abstract:
This paper examines the safety verification of the sample path of Ito’s stochastic differential equations (SDE) using a notion of stochastic zeroing barrier function (SZBF). It is shown that an extension of the recently developed zeroing barrier function concept in deterministic systems can be derived to formulate an SZBF based safety verification method for It´o’s SDE sample paths. The main tools in the proposed method include It´o’s calculus and stochastic invariance concept.
Description:
Makalah dipresentasikan pada Proceedings of 2021 American Control Conference (ACC); New Orleans, USA, May 25-28, 2021. p. 1318-1321