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
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: 2017-02-21