An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems

M.C. Bujorianu, L.M. Bujorianu, Romanus Langerak

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

    3 Citations (Scopus)

    Abstract

    In this paper, we present a multiclock model for real time abstractions of hybrid systems. We call Hybrid Time systems the resulting model, which is constructed using category theory. Such systems are characterized by heterogeneous timing, some components having discrete time and others continuous time. We define a timed (or clock) system as a functor from a category of states to a category of time values. We further define concurrent composition operators and bisimulation.
    Original languageUndefined
    Title of host publicationProceedings of the 17th IFAC World Congress
    EditorsM.J. Chung, P Misra
    Place of PublicationUSA
    PublisherIFAC
    Pages3635-3640
    Number of pages6
    ISBN (Print)978-3-902661-00-5
    DOIs
    Publication statusPublished - Jul 2008
    Event17th IFAC World Congress 2008 - Seoul, Korea, Republic of
    Duration: 5 Jul 200812 Jul 2008
    Conference number: 17

    Publication series

    Name
    PublisherIFAC
    Number2008/16200
    Volume17, 1

    Conference

    Conference17th IFAC World Congress 2008
    CountryKorea, Republic of
    CitySeoul
    Period5/07/0812/07/08

    Keywords

    • Process Algebra
    • Real Time
    • multiclock systems
    • IR-65268
    • concurrent hybrid systems
    • EWI-14799
    • METIS-255079
    • category theory

    Cite this