Abstract
| Original language | Undefined |
|---|---|
| Title of host publication | Proceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05) |
| Place of Publication | Seville |
| 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 | |
|---|---|
| Publisher | IEEE |
Conference
| Conference | 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 |
|---|---|
| Abbreviated title | CDC-ECC |
| Country | Spain |
| City | Seville |
| Period | 12/12/05 → 15/12/05 |
Keywords
- METIS-228697
- IR-69203
- EWI-16869
Cite this
}
Stochastic semantics for communicating piecewise deterministic Markov processes. / Strubbe, S.N.; van der Schaft, Arjan.
Proceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05). Seville : IEEE/EUCA, 2005. p. 6103-6108 10.1109/CDC.2005.1583138.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Stochastic semantics for communicating piecewise deterministic Markov processes
AU - Strubbe, S.N.
AU - van der Schaft, Arjan
PY - 2005/12
Y1 - 2005/12
N2 - 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.
AB - 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.
KW - METIS-228697
KW - IR-69203
KW - EWI-16869
U2 - 10.1109/CDC.2005.1583138
DO - 10.1109/CDC.2005.1583138
M3 - Conference contribution
SN - 0-7803-9567-0
SP - 6103
EP - 6108
BT - Proceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)
PB - IEEE/EUCA
CY - Seville
ER -