On a notion of stochastic zeroing barrier function
Systems and Control
2020-04-07 v1 Systems and Control
Optimization and Control
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.
Cite
@article{arxiv.2004.01882,
title = {On a notion of stochastic zeroing barrier function},
author = {Tua A. Tamba and Bin Hu and Yul Y. Nazaruddin},
journal= {arXiv preprint arXiv:2004.01882},
year = {2020}
}
Comments
4 pages, initial working draft