Functional Abstractions of stochastic Hybrid Systems

Abstract 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.

[1]  Arjan van der Schaft,et al.  Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) , 2005, HSCC.

[2]  John Lygeros,et al.  Bisimulation for General Stochastic Hybrid Systems , 2005, HSCC.

[3]  Henk A. P. Blom,et al.  Piecewise deterministic Markov processes represented by dynamically coloured Petri nets , 2005 .

[4]  M. Fukushima.  Dirichlet forms and Markov processes , 1980 .

[5]  J. Lygeros,et al.  General stochastic hybrid systems: modelling and optimal control , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[6]  John Lygeros,et al.  Reachability Questions in Piecewise Deterministic Markov Processes , 2003, HSCC.

[7]  S. Sastry,et al.  Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.

[8]  Henk A. P. Blom,et al.  Stochastic Hybrid Processes with Hybrid Jumps , 2003, ADHS.

[9]  I. Iscoe,et al.  Induced Dirichlet Forms and Capacitary Inequalities , 1990 .

[10]  Manuela L. Bujorianu,et al.  Extended Stochastic Hybrid Systems and Their Reachability Problem , 2004, HSCC.

[11]  John Lygeros,et al.  Stochastic Hybrid Models: An Overview , 2003, ADHS.

[12]  Mark H. Davis.  Markov Models and Optimization , 1995 .

[13]  Zhi-Ming Ma,et al.  Quasi-regular Dirichlet Forms and Markov Processes , 1993 .

[14]  João Pedro Hespanha,et al.  Stochastic Hybrid Systems: Application to Communication Networks , 2004, HSCC.

[15]  John Lygeros,et al.  Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.