查看文章

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.