Search: WFRF:(Broman David 1977 ) >
Determining Over- a...
Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta
-
- Broman, David, 1977- (author)
- Linköpings universitet,Institutionen för datavetenskap,PELAB
-
- Nyström, Kaj, 1976- (author)
- Linköpings universitet,Institutionen för datavetenskap,PELAB
-
- Fritzson, Peter (author)
- Linköpings universitet,Institutionen för datavetenskap,PELAB
-
(creator_code:org_t)
- 2006-10-22
- 2006
- English.
-
In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering. - New York, NY, USA : ACM. ; , s. 151-160
- Related links:
-
http://urn.kb.se/res...
-
show more...
-
http://www.bromans.c...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
show less...
Abstract
Subject headings
Close
- Computer aided modeling and simulation of complex physical systems, using components from multiple application domains, such as electrical, mechanical, and hydraulic, have in recent years witnessed a significant growth of interest. In the last decade, equation-based object-oriented (EOO) modeling languages, (e.g. Modelica, gPROMS, and VHDL-AMS) based on acausal modeling using Differential Algebraic Equations (DAEs), have appeared. With such languages, it is possible to model physical systems at a high level of abstraction by using reusable components.A model in an EOO language needs to have the same number of equations as unknowns. A previously unsolved problem concerning this property is the efficient detection of over- or under-constrained models in the case of separately compiled models.This paper describes a novel technique to determine over- and under-constrained systems of equations in models, based on a concept called structural constraint delta. In many cases it is also possible to locate the source of the constraint-problem. Our approach makes use of static type checking and consists of a type inference algorithm. We have implemented it for a subset of the Modelica language, and successfully validated it on several examples.
Keyword
- equation-based
- modeling
- object-oriented
- over-constrained
- separate compilation
- type checking
- under-constrained
- simulation languages
- algorithms
- TECHNOLOGY
- TEKNIKVETENSKAP
Publication and Content Type
- ref (subject category)
- kon (subject category)
To the university's database