CaltechAUTHORS
  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 http://resolver.caltech.edu/CaltechAUTHORS:20111018-155010644

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

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20111018-155010644

Abstract

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
http://dx.doi.org/10.1109/CDC.2004.1428804DOIUNSPECIFIED
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1428804PublisherUNSPECIFIED
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:http://resolver.caltech.edu/CaltechAUTHORS:20111018-155010644
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: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1428804&isnumber=30836
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:27290
Collection:CaltechAUTHORS
Deposited By: Ruth Sustaita
Deposited On:19 Oct 2011 14:32
Last Modified:19 Oct 2011 14:32

Repository Staff Only: item control page