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 artikel
http://dx.doi.org/10.3384/ecp140961237Ingå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
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.
[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.
