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 language | English |
---|---|
Title of host publication | Proceedings of the 17th IFAC World Congress (IFAC'08) July 11-16, 2008, Seoul, Korea |
Editors | Hyungsuck Cho |
Place of Publication | Seoul |
Publisher | International Federation of Automatic Control |
Pages | accepted- |
Publication status | Published - 2008 |