Article | Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany | Enforcing Reliability of Discrete-Time Models in Modelica Linköping University Electronic Press Conference Proceedings
Göm menyn

Title:
Enforcing Reliability of Discrete-Time Models in Modelica
Author:
Sébastien Furic: LMS Imagine, France
DOI:
10.3384/ecp11063638
Download:
Full text (pdf)
Year:
2011
Conference:
Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany
Issue:
063
Article no.:
071
Pages:
638-649
No. of pages:
12
Publication type:
Abstract and Fulltext
Published:
2011-06-30
ISBN:
978-91-7393-096-3
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

Modelica models involving discrete-time aspects may lead to surprising results due to the way events are currently handled in the language. Indeed; simultaneity is interpreted as synchronism and; as a consequence; two unrelated sources of events may interfere in unexpected ways.

In this paper; we present minimal examples of models that exhibit unexpected or surprising results; then we explain the general causes of such behaviors and propose to introduce the notion of clock in the language to solve the issues. In contrast to [1] and [2]; we focus here on models resulting from the composition of other models: we aim at showing that the current discrete-time theoretical model of Modelica is not robust with respect to model composition. For the final user; it means that it is generally not possible to build reliable models involving discrete-time aspects by simply connecting generic library models: manual adjustments are often required to obtain the expected behavior.

Keywords: Discrete-time modeling; clock calculus

Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany

Author:
Sébastien Furic
Title:
Enforcing Reliability of Discrete-Time Models in Modelica
DOI:
http://dx.doi.org/10.3384/ecp11063638
References:

[1] R. Nikoukhah; Activation Inheritance in Modelica; EOOLT; 2008

[2] R. Nikoukhah; S. Furic; Synchronous and Asynchronous Events in Modelica: Proposal for an Improved Hybrid Model; 6th international Modelica conference; 2008

[3] A. Benveniste; P. Le Guernic; and C. Jacquemot; Programming with events and relations: the Signal language and its semantics; 1991

[4] S. Bliudze.; D. Krob; Modelling of Complex Systems: Systems as dataflow machines; 2009

Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany

Author:
Sébastien Furic
Title:
Enforcing Reliability of Discrete-Time Models in Modelica
DOI:
https://doi.org10.3384/ecp11063638
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2019-06-04