Stochastic safety verification using barrier certificates

S. Prajna, A. Jadbabaie, G.J. Pappas
2004 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)  
We develop a new method for safety verification of stochastic systems based on functions of states termed barrier certificates. Given a stochastic continuous or hybrid system and sets of initial and unsafe states, our method computes an upper bound on the probability that a trajectory of the system reaches the unsafe set, a bound whose validity is proven by the existence of a barrier certificate. For polynomial systems, both the upper bound and its corresponding barrier certificate can be
more » ... ed using convex optimization, and hence the method is computationally tractable. 43rd IEEE Conference on Decision and Control
doi:10.1109/cdc.2004.1428804 fatcat:3s4j4zu4drflzkv5qtn7rjxn2m