Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published December 2004 | public
Book Section - Chapter

Stochastic Safety Verification Using Barrier Certificates

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.

Additional Information

© 2004 IEEE. Issue date 17 Dec. 2004. Date of Current Version: 16 May 2005.

Additional details

Created:
August 19, 2023
Modified:
October 24, 2023