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
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 bedoi:10.1109/cdc.2004.1428804 fatcat:3s4j4zu4drflzkv5qtn7rjxn2m