Sébastien Furic
LMS Imagine, France
Download article
http://dx.doi.org/10.3384/ecp09430023Published in: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009
Linköping Electronic Conference Proceedings 43:103, p. 868-879
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 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