Formal Description of Hybrid Systems

Chaochen Zhou, Wang Ji, Anders P. Ravn

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    A language to describe hybrid systems, i.e. networks of communicating discrete and continuous processes, is proposed. A semantics of the language is given in Extended Duration Calculus, a real-time interval logic with a proof system that allows reasoning in mathematical analysis about continuous processes to be embedded into the logic. The semantics thus provides a secure link to hybrid system models based on a general theory of dynamical systems.
    Original languageEnglish
    Title of host publicationLNCS 1066: Hybrid Systems III
    PublisherSpringer Verlag
    Publication date1996
    Publication statusPublished - 1996

    Cite this