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)
    41 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