Foundations of a compositional interchange format for hybrid systems

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

    28 Citations (Scopus)

    Abstract

    A compositional interchange format for hybrid systems is defined in terms of an interchange automaton, allowing arbitrary differential algebraic equations, including fully implicit or switched DAEs, discrete, continuous and algebraic variables, that can be internal or external, urgency conditions, and operators for parallel composition, action hiding, variable hiding and urgent actions. Its compositional semantics is formally defined in terms of a hybrid transition system. This allows development of transformations to and from other formalisms that can be proven to preserve essential properties, and it allows a clear separation between the mathematical meaning of a model and implementation aspects such as algorithms used for solving differential algebraic equations.
    Original languageEnglish
    Title of host publicationProceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy
    EditorsA. Bemporad, A. Bicchi, G. Buttazzo, G.C. Buttazzo
    Place of PublicationBerlin
    PublisherSpringer
    Pages587-600
    ISBN (Print)978-3-540-71492-7
    DOIs
    Publication statusPublished - 2007
    Event10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007) - Pisa, Italy
    Duration: 3 Apr 20075 Apr 2007
    Conference number: 10
    http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/

    Publication series

    NameLecture Notes in Computer Science
    Volume4416
    ISSN (Print)0302-9743

    Conference

    Conference10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007)
    Abbreviated titleHSCC 2007
    CountryItaly
    CityPisa
    Period3/04/075/04/07
    Internet address

    Fingerprint Dive into the research topics of 'Foundations of a compositional interchange format for hybrid systems'. Together they form a unique fingerprint.

    Cite this