An Extended Duration Calculus for Hybrid Systems

Zhou Chaochen, A. P. Ravn, Michael Reichhardt Hansen, R. L. and and and Grossman (Editor), A. Nerode (Editor), H. Rischel (Editor), A. P. Ravn (Editor)

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

    Original languageEnglish
    Title of host publicationHybrid Systems
    PublisherSpringer Verlag
    Publication date1993
    Pages36-59
    Publication statusPublished - 1993
    EventHybrid Systems -
    Duration: 1 Jan 1993 → …

    Conference

    ConferenceHybrid Systems
    Period01/01/1993 → …

    Cite this