Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)

CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes formed by PDPs (Piecewise Deterministic Markov Processes). We define CPDPs and the composition of CPDPs, and prove that the class of CPDPs is closed under composition. Then we introduce a notion of bisimulation for PDPs and CPDPs and we prove that bisimilar PDPs as well as bisimilar CPDPs have equal stochastic behavior. Finally, as main result, we prove the congruence property that, for a composite CPDP, substituting components by different but bisimilar components results in a CPDP that is bisimilar to the original composite CPDP (and therefore has equal stochastic behavior).

[1]  van der Arjan Schaft,et al.  Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems , 2004 .

[2]  S. Shankar Sastry,et al.  Hybrid Systems with Finite Bisimulations , 1997, Hybrid Systems.

[3]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[4]  K. Parthasarathy,et al.  Probability measures on metric spaces , 1967 .

[5]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[6]  Pedro R. D'Argenio,et al.  Algebras and Automata for Timed and Stochastic Systems , 1999 .

[7]  Arjan van der Schaft,et al.  Communicating Piecewise Deterministic Markov Processes , 2003, ADHS.

[8]  Holger Hermanns,et al.  Interactive Markov Chains , 2002, Lecture Notes in Computer Science.

[9]  A. Schaft,et al.  Stochastic equivalence of CPDP-automata and piecewise deterministic Markov processes , 2005 .

[10]  George J. Pappas.  Bisimilar linear systems , 2003, Autom..

[11]  Mark H. A. Davis.  Piecewise-deterministic Markov processes , 1993 .

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

[13]  Arjan van der Schaft,et al.  Bisimulation of Dynamical Systems , 2004, HSCC.

[14]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[15]  Panos J. Antsaklis,et al.  Hybrid Systems V , 1999, Lecture Notes in Computer Science.

[16]  Arjan van der Schaft,et al.  Equivalence of hybrid dynamical systems , 2004 .