A process-algebraic approach to hybrid systems

Hendrik Brinksma, T. Krilavicius, Y.S. Usenko

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

    12 Citations (Scopus)
    100 Downloads (Pure)

    Abstract

    Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems. It has contributed fundamental concepts such as bisimulation, and has been successfully used in a wide range of problems and practical applications in concurrent systems. We believe that the basic tenets of process algebra are highly compatible with the behavioural approach to dynamical systems. In our contribution we present an extension of classical process algebra that is suitable for the modelling and analysis of continuous and hybrid dynamical systems. It provides a natural framework for the concurrent composition of such systems, and can deal with nondeterministic behaviour that may arise from the occurrence of internal switching events. Standard process algebraic techniques lead to the characterization of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation.
    Original languageUndefined
    Title of host publication16th IFAC World Congress
    EditorsP. Pitzek
    PublisherIFAC
    Pages-
    Number of pages6
    ISBN (Print)008045108X
    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
    PublisherIFAC

    Conference

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

    Keywords

    • EWI-1632
    • IR-54944
    • METIS-229698

    Cite this