Paper Info
Title
Bisimulation for communicating piecewise deterministic markov processes (CPDPs)
Abstract
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).
Year
DOI
Venue
2005
10.1007/978-3-540-31954-2_40
HSCC
Keywords
Field
DocType
stochastic hybrid,bisimilar components result,bisimilar pdps,compositional specification,piecewise deterministic markov processes,original composite cpdp,bisimilar cpdps,equal stochastic behavior,piecewise deterministic markov process,composite cpdp,communicating piecewise deterministic markov
Discrete mathematics,Stochastic behavior,Markov process,Algebra,Bisimulation,Congruence (geometry),Piecewise,Mathematics
Conference
Volume
ISSN
ISBN
3414
0302-9743
3-540-25108-1
Citations 
PageRank 
References 
10
0.91
6
Authors
2
Name
Order
Citations
PageRank
stefan strubbe1222.87
arjan van der schaft2992138.91