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

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

13 Citations (Scopus)
1 Downloads (Pure)

Abstract

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
Pagesaccepted-
Publication statusPublished - 2008

Fingerprint 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

    Beek, van, D. A., Reniers, M. A., Rooda, J. E., & Schiffelers, R. R. H. (2008). Concrete syntax and semantics of the compositional interchange format for hybrid systems. In H. Cho (Ed.), Proceedings of the 17th IFAC World Congress (IFAC'08) July 11-16, 2008, Seoul, Korea (pp. accepted-). International Federation of Automatic Control.