Enforcing model composability in Modelica

Sébastien Furic
LMS Imagine, France

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp09430023

Ingår i: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009

Linköping Electronic Conference Proceedings 43:103, s. 868-879

Visa mer +

Publicerad: 2009-12-29

ISBN: 978-91-7393-513-5

ISSN: 1650-3686 (tryckt), 1650-3740 (online)


Modelica provides intuitive constructs to create and group model definitions. However; models themselves do not compose. In other words; the connection of type-compatible and locally balanced submodels does not generally yield a valid (e.g.; balanced; structurally non-singular) model. Starting from simple examples of such invalid models (resulting from commonly encountered situations when using Modelica); this paper explains how those problems could be avoided by introducing a safer notion of physical connector; similar in some aspects to the VHDL-AMS notion of terminal. An extension of the notion of connection is also presented; providing new opportunities to make efficient use of ideal models in Modelica.


Model composition; high-level physical connector; effort variable; flow variable; connection graph; effort graph; flow graph


[1] The Modelica Association; Modelica Standard Library 3.0; PDF Documentation; available at http://www.modelica.org/libraries/Modelica/releases/3.0.1/ModelicaStandardLibrary_3_0_Documentation.zip

[2] P. J. Ashenden; G. D. Peterson; D. A. Teegarden; The System Designer’s Guide to VHDL-AMS - Analog; Mixed-Signal; and Mixed-Technology Modeling; Systems On Silicon; Morgan Kaufmann; 2003; ISBN 1-55860-749-8

[3] C. Tischendorf; Topological Index Calculation of DAEs in Circuit Simulation; 1997

[4] G. Dauphin-Tanguy; Les bond graphs; HERMES Science Europe Ltd; 2000; ISBN 2-7462-0158-5

[5] P.J.L. Cuijpers; J.F. Broenink; P.J. Mosterman; Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs; in SIMULATION; Vol. 84; Issue 7; pp 339-358; 2008

Citeringar i Crossref