Communicating piecewise deterministic Markov processes

Stefan Strubbe, Arjan van der Schaft

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    6 Citations (Scopus)
    1 Downloads (Pure)

    Abstract

    In this chapter we introduce the automata framework CPDP, which stands for Communicating Piecewise Deterministic Markov Processes. CPDP is developed for compositional modelling and analysis for a class of stochastic hybrid systems. We define a parallel composition operator, denoted as /P/A/, for CPDPs, which can be used to interconnect component-CPDPs, to form the composite system (which consists of all components, interacting with each other). We show that the result of composing CPDPs with /P/A/ is again a CPDP (i.e., the class of CPDPs is closed under
    /P/A/). Under certain conditions, the evolution of the state of a CPDP can be modelled as a stochastic process. We show that for these CPDPs, this stochastic process can always be modelled as a PDP (Piecewise Deterministic Markov Process) and we present an algorithm that finds the corresponding PDP of a CPDP. After that, we present an extended CPDP framework called value-passing CPDP. This framework provides richer interaction possibilities, where components can communicate information about their continuous states to each other. We give an Air Tra.c Management example, modelled as a value-passing CPDP and we show that according to the algorithm, this CPDP behavior can be modelled as a PDP. Finally, we define bisimulation relations for CPDPs. We prove that bisimilar CPDPs exhibit equal stochastic behavior. Bisimulation can be used as a state reduction technique by substituting a CPDP (or a CPDP component) by a bisimulation-equivalent CPDP (or CPDP component) with a smaller state space. This can be done because we know that such a substitution will not change the stochastic behavior.
    Original languageEnglish
    Title of host publicationStochastic Hybrid Systems
    Subtitle of host publicationTheory and Safety Critical Applications
    EditorsHenk A.P. Blom, John Lygeros
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages65-104
    Number of pages40
    ISBN (Electronic)978-3-540-33467-5
    ISBN (Print)978-3-540-33466-8
    DOIs
    Publication statusPublished - 2006

    Publication series

    NameLecture Notes in Control and Information Sciences
    PublisherSpringer
    Volume337
    ISSN (Print)0170-8643
    ISSN (Electronic)1610-7411

    Fingerprint

    Dive into the research topics of 'Communicating piecewise deterministic Markov processes'. Together they form a unique fingerprint.
    • Communicating piecewise deterministic Markov processes

      Strubbe, S. N., Anak Agung Julius, A. A. J. & van der Schaft, A., 2003, Analysis and Design of Hybrid Systems 2003: A Proceedings Volume from the IFAC Conference, St. Malo, Brittany, France, 16-18 June 2003. Engell, S., Guéguen, H. & Zaytoon, J. (eds.). Amsterdam: Elsevier, p. 307-312 6 p. (IFAC conference proceedings).

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

    Cite this