Conference article

Enforcing model composability in Modelica

Sébastien Furic
LMS Imagine, France

Download article

Published in: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009

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

Show more +

Published: 2009-12-29

ISBN: 978-91-7393-513-5

ISSN: 1650-3686 (print), 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

[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

Citations in Crossref