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 give an extension of the CPDP model. This extension provides richer interaction possibilities such as broadcasting (and recieving) of multiple signals at the same time. We show that the |PA| operator can be used in the context of CPDPs to express all these interactions. We provide an algorithm in which scheduling and maximal progress are used to find the PDP that models the behavior of a CPDP of this new type. We give the conditions under which a CPDP allows this PDP-semantics.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference |
| Publisher | University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science |
| Number of pages | 6 |
| ISBN (Print) | 0780395670 |
| Publication status | Published - 2005 |
Fingerprint
Dive into the research topics of 'Stochastic semantics for Communicating Piecewise Deterministic Markov Processes'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver