2000 character limit reached
On a notion of stochastic zeroing barrier function (2004.01882v1)
Published 4 Apr 2020 in eess.SY, cs.SY, and math.OC
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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.