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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the 17th IFAC World Congress (IFAC'08) July 11-16, 2008, Seoul, Korea
RedacteurenHyungsuck Cho
Plaats van productieSeoul
UitgeverijInternational Federation of Automatic Control
Pagina'saccepted-
StatusGepubliceerd - 2008

Vingerafdruk Duik in de onderzoeksthema's van 'Concrete syntax and semantics of the compositional interchange format for hybrid systems'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    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 (editor), Proceedings of the 17th IFAC World Congress (IFAC'08) July 11-16, 2008, Seoul, Korea (blz. accepted-). International Federation of Automatic Control.