Article | Proceedings of the 10<sup>th</sup> International Modelica Conference; March 10-12; 2014; Lund; Sweden | Statecharts as a Means to Control Plant Models in LMS Imagine.Lab AMESim Link�ping University Electronic Press Conference Proceedings
Göm menyn

Title:
Statecharts as a Means to Control Plant Models in LMS Imagine.Lab AMESim
Author:
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
DOI:
10.3384/ecp140961237
Download:
Full text (pdf)
Year:
2014
Conference:
Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
Issue:
096
Article no.:
131
Pages:
1237-1246
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2014-03-10
ISBN:
978-91-7519-380-9
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

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.

Keywords: Statechart; Modelica; LMS Imagine.Lab AMESim

Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Author:
Vincent Berthoux, Sébastien Furic, Loïc Wagner
Title:
Statecharts as a Means to Control Plant Models in LMS Imagine.Lab AMESim
DOI:
http://dx.doi.org/10.3384/ecp140961237
References:

[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.

Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Author:
Vincent Berthoux, Sébastien Furic, Loïc Wagner
Title:
Statecharts as a Means to Control Plant Models in LMS Imagine.Lab AMESim
DOI:
http://dx.doi.org/10.3384/ecp140961237
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2018-9-11