Statecharts as a Means to Control Plant Models in LMS Imagine.Lab AMESim

Vincent Berthoux
LMS Imagine S.A., Roanne, France

Sébastien Furic
LMS Imagine S.A., Roanne, France

Loïc Wagner
LMS Imagine S.A., Roanne, France

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

Ingår i: Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Linköping Electronic Conference Proceedings 96:131, s. 1237-1246

Visa mer +

Publicerad: 2014-03-10

ISBN: 978-91-7519-380-9

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


This article introduces a new feature of LMS Imagine.Lab AMESim that allows users to define plant model controllers. We start by reviewing some challenging aspects of hybrid state machine handling in asynchronous Modelica-based physical simulation environments. We then describe the implementation available in AMESim; focusing on user interaction and especially static error checking and reporting.


Statechart; Modelica; LMS Imagine.Lab AMESim


[1] David Harel. Statecharts: A visual formalism for complex systems, 1987.

[2] Sébastien Furic. Enforcing reliability of discretetime models in modelica. In Proceedings of the 8th International Modelica Conference, 2011.

[3] Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet. Non-standard semantics of hybrid systems modelers. Journal of Computer and System Sciences, 78(3):877 – 910, 2012.

[4] R. Hindley. The Principal Type-Scheme of an Object in Combinatory Logic. Transactions of the American Mathematical Society, 146:29–60, 1969.

[5] Luis Damas and Robin Milner. Principal typeschemes for functional programs. In Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’82, pages 207–212, New York, NY, USA, 1982. ACM.

Citeringar i Crossref