Stochastic semantics for communicating piecewise deterministic Markov processes

S.N. Strubbe; Arjan van der Schaft

doi:10.1109/CDC.2005.1583138

Stochastic semantics for communicating piecewise deterministic Markov processes

S.N. Strubbe, Arjan van der Schaft

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

44 Downloads (Pure)

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	https://doi.org/10.1109/CDC.2005.1583138
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	Spain
City	Seville
Period	12/12/05 → 15/12/05

Keywords

Communicating Piecewise Deterministic Markov Processes (CPDPs)

Access to Document

10.1109/CDC.2005.1583138

Fingerprint Dive into the research topics of 'Stochastic semantics for communicating piecewise deterministic Markov processes'. Together they form a unique fingerprint.

Cite this

Strubbe, S. N., & van der Schaft, A. (2005). Stochastic semantics for communicating piecewise deterministic Markov processes. In Proceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05) (pp. 6103-6108). (Proceedings of the IEEE Conference on Decision and Control; Vol. 2005). IEEE/EUCA. https://doi.org/10.1109/CDC.2005.1583138

@inproceedings{6c026cefaab84191b8663f864aff0e81,

title = "Stochastic semantics for communicating piecewise deterministic Markov processes",

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.",

keywords = "Communicating Piecewise Deterministic Markov Processes (CPDPs)",

author = "S.N. Strubbe and {van der Schaft}, Arjan",

year = "2005",

month = dec,

doi = "10.1109/CDC.2005.1583138",

language = "English",

isbn = "0-7803-9567-0",

series = "Proceedings of the IEEE Conference on Decision and Control",

publisher = "IEEE/EUCA",

pages = "6103--6108",

booktitle = "Proceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)",

note = "44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005, CDC-ECC ; Conference date: 12-12-2005 Through 15-12-2005",

}

Strubbe, SN & van der Schaft, A 2005, Stochastic semantics for communicating piecewise deterministic Markov processes. in Proceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05). Proceedings of the IEEE Conference on Decision and Control, vol. 2005, IEEE/EUCA, pp. 6103-6108, 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005, Seville, Spain, 12/12/05. https://doi.org/10.1109/CDC.2005.1583138

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). IEEE/EUCA, 2005. p. 6103-6108 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2005).

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

N1 - Conference code: 44

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 - Communicating Piecewise Deterministic Markov Processes (CPDPs)

U2 - 10.1109/CDC.2005.1583138

DO - 10.1109/CDC.2005.1583138

M3 - Conference contribution

SN - 0-7803-9567-0

T3 - Proceedings of the IEEE Conference on Decision and Control

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

T2 - 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005

Y2 - 12 December 2005 through 15 December 2005

ER -

Strubbe SN, van der Schaft A. Stochastic semantics for communicating piecewise deterministic Markov processes. In Proceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05). IEEE/EUCA. 2005. p. 6103-6108. (Proceedings of the IEEE Conference on Decision and Control). https://doi.org/10.1109/CDC.2005.1583138