A Caltech Library Service

Stochastic Safety Verification Using Barrier Certificates

Prajna, Stephen and Jadbabaie, Ali and Pappas, George J. (2004) Stochastic Safety Verification Using Barrier Certificates. In: 2004 43rd IEEE Conference on Decision and Control. IEEE , Piscataway, N.J., pp. 929-934. ISBN 0-7803-8682-5.

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item:


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 computed using convex optimization, and hence the method is computationally tractable.

Item Type:Book Section
Related URLs:
URLURL TypeDescription
Additional Information:© 2004 IEEE. Issue date 17 Dec. 2004. Date of Current Version: 16 May 2005.
Other Numbering System:
Other Numbering System NameOther Numbering System ID
INSPEC Accession Number8359963
Record Number:CaltechAUTHORS:20111018-155010644
Persistent URL:
Official Citation:Prajna, S.; Jadbabaie, A.; Pappas, G.J.; , "Stochastic safety verification using barrier certificates," Decision and Control, 2004. CDC. 43rd IEEE Conference on , vol.1, no., pp.929-934 Vol.1, 17-17 Dec. 2004 doi: 10.1109/CDC.2004.1428804 URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:27290
Deposited By: Ruth Sustaita
Deposited On:19 Oct 2011 14:32
Last Modified:23 Aug 2016 10:06

Repository Staff Only: item control page