Concrete syntax and semantics of the compositional interchange format for hybrid systems

D.A. Beek, van, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers

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

    14 Citations (Scopus)
    1 Downloads (Pure)


    The compositional interchange format for hybrid systems is syntactically and semantically defined in terms of an interchange automaton in an abstract format, allowing among others differential algebraic equations, variables that can be internal or external, operators for parallel composition,action hiding, variable hiding and urgent actions, synchronization by means of shared labels, and communication by means of shared variables and CSP channels. A concrete format is defined for modeling. Its semantics is defined in terms of a mapping to the abstract format. The concrete format adds inputs, outputs and open and closed scopes to enable modular and hierarchical specifications. The concrete format is illustrated by means of a bottle filling line example.
    Original languageEnglish
    Title of host publicationProceedings of the 17th IFAC World Congress (IFAC'08) July 11-16, 2008, Seoul, Korea
    EditorsHyungsuck Cho
    Place of PublicationSeoul
    PublisherInternational Federation of Automatic Control
    Publication statusPublished - 2008


    Dive into the research topics of 'Concrete syntax and semantics of the compositional interchange format for hybrid systems'. Together they form a unique fingerprint.

    Cite this