Article | Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany | Variability and Type Calculation for Equation of Modelica model Linköping University Electronic Press Conference Proceedings
Göm menyn

Title:
Variability and Type Calculation for Equation of Modelica model
Author:
Junjie Tang: National CAD Center, China Jianwan Ding: National CAD Center, China Liping Chen: National CAD Center, China Xiong Gong: National CAD Center, China
DOI:
10.3384/ecp11063837
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.:
095
Pages:
837-842
No. of pages:
6
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

Differential algebraic equations (DAEs); translated from Modelica model; is usually represented by bipartite graph. One of basic premises of creating bipartite graph is to determine types of variables and equations. Type calculation of Modelica equation has been researched and a serial of rules for variability and type calculation has been concluded in this paper.

Equation type is the type of variable that equation can solve. Equation type is calculated in symbolic by both variability and basic type of its sub-expressions. Generally; type calculation is a bottom-up way as expression is represented in form of tree. But; there are kinds of particular expressions; such as integer(); noEvent(); multi-output function call expression; etc; which may cause type and variability incompatible problem. The issue is discussed in the paper; and several rules for variability and type calculation are present. These rules will helps to debug out obscure errors; and several typical examples are present to show how the rules work.

Keywords: Equation type; equation variability; compatibility of variability and type; model debug

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

Author:
Junjie Tang, Jianwan Ding, Liping Chen, Xiong Gong
Title:
Variability and Type Calculation for Equation of Modelica model
DOI:
http://dx.doi.org/10.3384/ecp11063837
References:

[1]. Peter Bunus; Peter Fritzson. Methods for Structural Analysis and Debugging of Modelica Models. Proceedings of the 2nd International Modelica Conference; 2002; 10: 157~165

[2]. Ding Jianwan. Research on Methods for Consistency Analysis and Reduction of Declarative Simulation Models: [PhD thesis]. China: Huazhong University of Science & Technology; 2006

[3]. David Broman. Types in the Modelica Language. Proceedings of the 5th International Modelica Conference; 2006; 9:303~315

[4]. Modelica Language Specification V3.2. https://www.modelica.org/.

[5]. Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press; New York; USA; 2004

[6]. Futong Lv. Numerical Computing Methods; chapter 5. Tsinghua University Press; 2008.

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

Author:
Junjie Tang, Jianwan Ding, Liping Chen, Xiong Gong
Title:
Variability and Type Calculation for Equation of Modelica model
DOI:
https://doi.org10.3384/ecp11063837
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2019-10-02