Stochastic safety analysis of stochastic hybrid systems

This work establishes an optimisation scheme for computing safety of stochastic hybrid systems. Specifically, the scheme computes the probability of reaching the set of unsafe states from a set of initial states. We address hybrid systems with both sporadic and state dependent switches. The method combines two approaches: the barrier certificate method and potential theory.