Stochastic equivalence of CPDP-Automata and piecewise deterministic Markov processes

S.N. Strubbe, Arjan van der Schaft

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

    2 Citations (Scopus)

    Abstract

    CPDP is a class of automata designed for compositional specification/analysis of certain stochastic hybrid processes. We prove equivalence of the stochastic behaviors of CPDPs (newly defined here) and PDPs. With this result we obtain a clear stochastic processes semantics for CPDPs and we obtain the opportunity to use the powerful PDP analysis techniques in the context of the compositional framework CPDP.
    Original languageUndefined
    Title of host publicationProceedings of the 16th IFAC World Congress
    EditorsP Horacek, M Simandl, P Zitek
    Place of PublicationPrague
    PublisherInternational Federation of Automatic Control
    Pages25-30
    Number of pages6
    ISBN (Print)0-08-045108-X
    Publication statusPublished - Jul 2005
    Event16th IFAC World Congress 2005 - Prague, Czech Republic
    Duration: 3 Jul 20058 Jul 2005
    Conference number: 16
    http://www.utia.cas.cz/news/608

    Publication series

    Name
    PublisherElsevier
    Volume16

    Conference

    Conference16th IFAC World Congress 2005
    CountryCzech Republic
    CityPrague
    Period3/07/058/07/05
    Internet address

    Keywords

    • EWI-16868
    • compositional specification
    • Hybrid systems
    • (Communicating) Piecewise Deterministic Markov Processes
    • IR-69169
    • METIS-225131

    Cite this