Functional Abstraction of Stochastic Hybrid Systems
Manuela L. Bujorianu, H.A.P. Blom, Holger Hermanns · 2006
The verification problem for stochastic hybrid systems is quite difficult. One method to verify these systems is stochastic reachability analysis. Concepts of abstractions for stochastic hybrid systems are needed to ease the stochastic reachability analysis. In this paper, we set up different ways to define abstractions for stochastic hybrid systems, which preserve the parameters of stochastic reachability. A new concept of stochastic bisimulation is introduced and its connection with equivalence of stochastic processes is established.