Conference article

Modelica language extensions for practical non-monotonic modelling: on the need for selective model extension

Christoff Bürger
Dassault Systèmes AB, Sweden

Download article

Published in: Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019

Linköping Electronic Conference Proceedings 157:29, p. 12

Show more +

Published: 2019-02-01

ISBN: 978-91-7685-122-7

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


A Modelica language extension for structural nonmonotonic model variation is presented. It enables selective model extension: the well-defined refinement of models by deselecting components and connections not of interest or inappropriate for a new design. The need for such variations is explained by the example of Modelica Synchronous, whose adaptation is suffering from crosscutting synchronous decompositions that cannot be anticipated when continuous models are designed; instead, contradicting model structure has to be removed when an actual sampling is desired. Besides synchronous, further applications for selective model extension are investigated using our prototype implementation in Dymola.


Modelica, model variation, synchronous


No references available

Citations in Crossref