One of the major challenges towards a broad industrial acceptance of hybrid systems techniques and tools is the large number of distinct modeling formalisms and the resulting manual effort for the tool-based solution of many complex design or analysis tasks. A promising approach to achieve inter-operability between hybridsystems tools is to develop automatic translations of their formalisms via a general interchange format with sufficiently rich syntax and semantics. This paper gives an intuitive introduction to such a formalism, the Compositional Interchange Format (CIF) for general hybrid systems, that was recently developed within the European Network of Excellence HYCON. The concepts of the CIF are illustrated using an interesting example,the hybrid model of a supermarket refrigeration system. This system exhibits both, nonlinear DAE dynamics as well as significant discrete dynamics, and serves as a challenging case study for hybrid control techniques in several European research projects. Furthermore, the CIF tool set that provides simulation and visualization capabilities is introduced.
|Title of host publication||Proceedings MATHMOD 09 Vienna|
|Editors||I. Troch, F. Breitenecker|
|Place of Publication||Austria, Vienna|
|Publication status||Published - 2009|
|Event||6th Vienna Conference on Mathematical Modelling (MATHMOD 2009), February 11-13, 2009, Vienna, Austria - Vienna University of Technology, Vienna, Austria|
Duration: 11 Feb 2009 → 13 Feb 2009
|Conference||6th Vienna Conference on Mathematical Modelling (MATHMOD 2009), February 11-13, 2009, Vienna, Austria|
|Abbreviated title||MATHMOD 2009|
|Period||11/02/09 → 13/02/09|
Sonntag, C. L. W., Schiffelers, R. R. H., Beek, van, D. A., Rooda, J. E., & Engell, S. (2009). Modeling and simulation using the compositional interchange format for hybrid systems. In I. Troch, & F. Breitenecker (Eds.), Proceedings MATHMOD 09 Vienna (ARGESIM Report; Vol. 35)..