Article | Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools: Berlin; Germany; July 30; 2007; conjunction with ECOOP | Hybrid Dynamics in Modelica: Should all Events be Considered Synchronous

Title:
Hybrid Dynamics in Modelica: Should all Events be Considered Synchronous
Author:
Ramine Nikoukhah: INRIA-Rocquencourt, France
Download:
Full text (pdf)
Year:
2007
Conference:
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools: Berlin; Germany; July 30; 2007; conjunction with ECOOP
Issue:
024
Article no.:
004
Pages:
37–48
No. of pages:
12
Publication type:
Abstract and Fulltext
Published:
2007-07-18
ISBN:
978-91-7519-822-4
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


The Modelica specification is ambiguous as to whether all the events are synchronous are not. Different interpretations are possible leading to considerable differences in the ways models should be constructed and compilers developed. In this paper we examine this issue and show that there exists an interpretation that is more appropriate than others leading to more efficient compilers. It turns out that this interpretation is not the one currently adopted by Dymola but it is closely related to the Scicos formalism.

Keywords: Modelica; Synchronous language; Scicos; modeling and simulation

Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools: Berlin; Germany; July 30; 2007; conjunction with ECOOP

Author:
Ramine Nikoukhah
Title:
Hybrid Dynamics in Modelica: Should all Events be Considered Synchronous
References:

1 M. Otter; H. Elmqvist; S. E. Mattsson; “Hybrid Modeling in Modelica based on the Synchronous Data Flow Principle”; CACSD’99; Aug; 1999; Hawaii; USA.


2 Modelica Association; “Modelica - A Unified Object-Oriented Language for Physical Systems Modeling. Language Specification; version 2.2”; 2005; available from www.modelica.org/.


3 A. Benveniste; P. Le Guernic; C. Jacquemot.;"Synchronous programming with events and relations : the Signal language and its semantics"; Science of Computer Programming; 16; 1991; p. 103-149.


4 R. Nikoukhah; “Extensions to Modelica for efficient code generation and separate compilation”; in Proc. EOOLT Workshop at ECOOP’07; Berlin; 2007.


5 P. Fritzson - “Principles of Object-Oriented Modeling and Simulation with Modelica 2.1”; Wiley-IEEE Press; 2003.


6 S. L. Campbell; Jean-Philippe Chancelier and Ramine Nikoukhah; “Modeling and Simulation in Scilab/Scicos”; Springer; 2005.

Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools: Berlin; Germany; July 30; 2007; conjunction with ECOOP

Author:
Ramine Nikoukhah
Title:
Hybrid Dynamics in Modelica: Should all Events be Considered Synchronous
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment