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 of [6]. This extension provides richer interaction possibilities such as broadcasting (and recieving) of multiple signals at the same time. We show that the |P A| operator from [7] 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 the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05) |
Publisher | IEEE/EUCA |
Pages | 6103-6108 |
Number of pages | 6 |
ISBN (Print) | 0-7803-9567-0 |
DOIs | |
Publication status | Published - Dec 2005 |
Event | 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 - Melia Seville, Seville, Spain Duration: 12 Dec 2005 → 15 Dec 2005 Conference number: 44 |
Publication series
Name | Proceedings of the IEEE Conference on Decision and Control |
---|---|
Publisher | IEEE |
Volume | 2005 |
ISSN (Print) | 0191-2216 |
Conference
Conference | 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 |
---|---|
Abbreviated title | CDC-ECC |
Country/Territory | Spain |
City | Seville |
Period | 12/12/05 → 15/12/05 |
Keywords
- Communicating Piecewise Deterministic Markov Processes (CPDPs)