Stochastic semantics for communicating piecewise deterministic Markov processes

S.N. Strubbe, Arjan van der Schaft

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
28 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 languageUndefined
Title of host publicationProceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)
Place of PublicationSeville
PublisherIEEE/EUCA
Pages6103-6108
Number of pages6
ISBN (Print)0-7803-9567-0
DOIs
Publication statusPublished - Dec 2005
Event44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 - Melia Seville, Seville, Spain
Duration: 12 Dec 200515 Dec 2005
Conference number: 44

Publication series

Name
PublisherIEEE

Conference

Conference44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005
Abbreviated titleCDC-ECC
CountrySpain
CitySeville
Period12/12/0515/12/05

Keywords

  • METIS-228697
  • IR-69203
  • EWI-16869

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). [10.1109/CDC.2005.1583138] Seville: IEEE/EUCA. https://doi.org/10.1109/CDC.2005.1583138
Strubbe, S.N. ; van der Schaft, Arjan. / Stochastic semantics for communicating piecewise deterministic Markov processes. Proceedings of the the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05). Seville : IEEE/EUCA, 2005. pp. 6103-6108
@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 = "METIS-228697, IR-69203, EWI-16869",
author = "S.N. Strubbe and {van der Schaft}, Arjan",
year = "2005",
month = "12",
doi = "10.1109/CDC.2005.1583138",
language = "Undefined",
isbn = "0-7803-9567-0",
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)",

}

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)., 10.1109/CDC.2005.1583138, IEEE/EUCA, Seville, 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). Seville : IEEE/EUCA, 2005. p. 6103-6108 10.1109/CDC.2005.1583138.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 -

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). Seville: IEEE/EUCA. 2005. p. 6103-6108. 10.1109/CDC.2005.1583138 https://doi.org/10.1109/CDC.2005.1583138