research-article

Towards utilizing repeating structures for constant time compilation of large Modelica models

Authors:

Matthias Arzt,

Volker Waurich,

Jörg WenschAuthors Info & Claims

EOOLT '14: Proceedings of the 6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools

Pages 35 - 38

https://doi.org/10.1145/2666202.2666207

Published: 10 October 2014 Publication History

Get Access

Abstract

Modelica is a language for modeling and simulating complex physical systems. A Modelica compiler generates a differential-algebraic equation (DAE) system from Modelica source code. The physical system is simulated by solving the DAE numerically. Before this can be done, the Pantelides algorithm is often applied to reduce the index of the DAE.

Modelica's ability of structured programming makes it easy to describe physical systems with a repeating structure, like a roller chain, a battery pack or a solar panel. Such Modelica models generate DAE systems with many repeated sections. The Pantelides algorithm is not capable of using and preserving these repeating structures. As a consequence Modelica compilers need to unroll such structures. Huge memory consumption and the generation of bulky source code for the numerical solver is often a consequence.

This article discusses techniques, which make it possible to preserve and use repeating structures during Pantelides index reduction. It is shown how the search for augmenting paths and the calculation of minimal structural singular subsets can be shortened. The method is restricted to repetitions, which are described by non-nested for-loops.

References

[1]

J. Frenkel, C. Schubert, G. Kunze, P. Fritzson, M. Sjölund, and A. Pop. Towards a benchmark suite for Modelica compilers: Large models. In Modelica'2011: The 8th International Modelica Conference, 2011.

Google Scholar

[2]

P. Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, 2010.

Crossref

Google Scholar

[3]

C. Höger. Separate compilation of causalized equations-work in progress. EOOLT, 56:113--120, 2011.

Google Scholar

[4]

C. Höger. Operational semantics for a modular equation language. AVICPS, page 5, 2013.

Google Scholar

[5]

S. E. Mattsson and G. Söderlind. Index reduction in differential-algebraic equations using dummy derivatives. SIAM J. Sci. Comput., 14(3):677--692, May 1993.

Digital Library

Google Scholar

[6]

C. Pantelides. The consistent initialization of differential-algebraic systems. SIAM Journal on Scientific and Statistical Computing, 9(2):213--231, 1988.

Digital Library

Google Scholar

[7]

M. D. Plummer and L. Lovász. Matching theory. Elsevier, 1986.

Google Scholar

[8]

J. Pryce. A simple structural analysis method for DAEs. BIT Numerical Mathematics, 41(2):364--394, 2001.

Crossref

Google Scholar

[9]

D. Zimmer. Module-preserving compilation of Modelica models. In Proc. of the 7th International Modelica Conference, Como, Italy, 2009.

Crossref

Google Scholar

Cited By

View all

Zimmermann PFernández JKofman ENytsch-Geusen CEnge-Rosenblatt O(2019)Set-based graph methods for fast equation sorting in large DAE systemsProceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools10.1145/3365984.3365991(45-54)Online publication date: 5-Nov-2019
https://dl.acm.org/doi/10.1145/3365984.3365991

Index Terms

Towards utilizing repeating structures for constant time compilation of large Modelica models
1. Mathematics of computing
  1. Mathematical analysis
    1. Differential equations
      1. Ordinary differential equations

Recommendations

Solving PDE Models in Modelica
ISISE '08: Proceedings of the 2008 International Symposium on Information Science and Engieering - Volume 01

Modelica is a new object-oriented multi-domain modeling and simulation language and used for solving large, complex, and heterogeneous physical systems with differential-algebraic equations (DAEs). Presently there is no simulation support available in ...
Description of PDE Models in Modelica
ISCSCT '08: Proceedings of the 2008 International Symposium on Computer Science and Computational Technology - Volume 01

Modelica is a new object-oriented language for modeling of large, complex, and heterogeneous physical systems. It is designed to allow for convenient and efficient modeling and simulation of the differential-algebraic equations (DAEs) systems. However, ...
The Application of the Combinatorial Relaxation Theory on the Structural Index Reduction of DAE
DCABES '13: Proceedings of the 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science

Multi-domain unified modeling is an important development direction in the study of complex system. Modelica is a popular multi-modeling language. It describes complex systems by mathematical equations, solves the high-index of Differential algebraic ...

Comments

Information & Contributors

Information

Published In

EOOLT '14: Proceedings of the 6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools

October 2014

87 pages

ISBN:9781450329538

DOI:10.1145/2666202

General Chair:
Peter Pepper
Technische Universtität Berlin
,
Program Chair:
David Broman
KTH Royal Institute of Technology and UC Berkeley

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 October 2014

Check for updates

Author Tags

Qualifiers

Research-article

Conference

EOOLT 2014

EOOLT 2014: Equation-Based Object-Oriented Modeling Languages and Tools 2014

October 10, 2014

Berlin, Germany

Acceptance Rates

Overall Acceptance Rate 10 of 11 submissions, 91%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
71
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zimmermann PFernández JKofman ENytsch-Geusen CEnge-Rosenblatt O(2019)Set-based graph methods for fast equation sorting in large DAE systemsProceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools10.1145/3365984.3365991(45-54)Online publication date: 5-Nov-2019
https://dl.acm.org/doi/10.1145/3365984.3365991

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Solving PDE Models in Modelica

Description of PDE Models in Modelica

The Application of the Combinatorial Relaxation Theory on the Structural Index Reduction of DAE

Comments

Information

Published In

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations