Modeling and simulation using the compositional interchange format for hybrid systems

C.L.W. Sonntag, R.R.H. Schiffelers, D.A. Beek, van, J.E. Rooda, S. Engell

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

Abstract

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.
LanguageEnglish
Title of host publicationProceedings MATHMOD 09 Vienna
EditorsI. Troch, F. Breitenecker
Place of PublicationAustria, Vienna
StatePublished - 2009
Event6th Vienna Conference on Mathematical Modelling (MATHMOD 2009), February 11-13, 2009, Vienna, Austria - Vienna University of Technology, Vienna, Austria
Duration: 11 Feb 200913 Feb 2009
http://www.mathmod.at/index.php?id=87

Publication series

NameARGESIM Report
Volume35

Conference

Conference6th Vienna Conference on Mathematical Modelling (MATHMOD 2009), February 11-13, 2009, Vienna, Austria
Abbreviated titleMATHMOD 2009
CountryAustria
CityVienna
Period11/02/0913/02/09
Internet address

Fingerprint

Interchanges
Hybrid systems
Refrigeration
Interoperability
Visualization
Semantics

Cite this

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). Austria, Vienna.
Sonntag, C.L.W. ; Schiffelers, R.R.H. ; Beek, van, D.A. ; Rooda, J.E. ; Engell, S./ Modeling and simulation using the compositional interchange format for hybrid systems. Proceedings MATHMOD 09 Vienna. editor / I. Troch ; F. Breitenecker. Austria, Vienna, 2009. (ARGESIM Report).
@inproceedings{c89c6919a6a449f4817c9680de63dac3,
title = "Modeling and simulation using the compositional interchange format for hybrid systems",
abstract = "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.",
author = "C.L.W. Sonntag and R.R.H. Schiffelers and {Beek, van}, D.A. and J.E. Rooda and S. Engell",
year = "2009",
language = "English",
series = "ARGESIM Report",
editor = "I. Troch and F. Breitenecker",
booktitle = "Proceedings MATHMOD 09 Vienna",

}

Sonntag, CLW, Schiffelers, RRH, Beek, van, DA, Rooda, JE & 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, Austria, Vienna, 6th Vienna Conference on Mathematical Modelling (MATHMOD 2009), February 11-13, 2009, Vienna, Austria, Vienna, Austria, 11/02/09.

Modeling and simulation using the compositional interchange format for hybrid systems. / Sonntag, C.L.W.; Schiffelers, R.R.H.; Beek, van, D.A.; Rooda, J.E.; Engell, S.

Proceedings MATHMOD 09 Vienna. ed. / I. Troch; F. Breitenecker. Austria, Vienna, 2009. (ARGESIM Report; Vol. 35).

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

TY - GEN

T1 - Modeling and simulation using the compositional interchange format for hybrid systems

AU - Sonntag,C.L.W.

AU - Schiffelers,R.R.H.

AU - Beek, van,D.A.

AU - Rooda,J.E.

AU - Engell,S.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

M3 - Conference contribution

T3 - ARGESIM Report

BT - Proceedings MATHMOD 09 Vienna

CY - Austria, Vienna

ER -

Sonntag CLW, Schiffelers RRH, Beek, van DA, Rooda JE, Engell S. Modeling and simulation using the compositional interchange format for hybrid systems. In Troch I, Breitenecker F, editors, Proceedings MATHMOD 09 Vienna. Austria, Vienna. 2009. (ARGESIM Report).