Internet Archive Scholar

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)  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (175.9 kB)
https://web.archive.org/web/20050829114243/http://www.seas.upenn.edu:80/~pappasg/papers/CDC04-Barrier.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL. The file type is application/pdf.

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
Citation

S. Prajna, A. Jadbabaie, G.J. Pappas. "Stochastic safety verification using barrier certificates." 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) (2004)