| Files: | Description | File size | Format | Browse |
| Fulltext | 0.37 MB | PDF (requires Acrobat Reader) | Previous | Next |
| | |
| Authors: | Henrik Nilsson: School of Computer Science, University of Nottingham, UK |
| Publication title: | Type-Based Structural Analysis for Modular Systems of Equations |
| Conference: | Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools |
| Publication type: | Abstract and Fulltext |
| Issue: | 029 |
| Article No.: | 008 |
| Abstract: | This paper investigates a novel approach to a type system for modular systems of equations; i.e., equation systems constructed by composition of individual equation system fragments. The purpose of the type system is to ensure, to the extent possible, that the composed system is solvable. The central idea is to attribute a structural type to equation system fragments that reflects which variables occur in which equations. In many instances, this allows over- and underdetermined system fragments to be identified separately, without first having to assemble all fragments into a complete system of equations. The setting of the paper is equation-based, non-causal modelling, specifically Functional Hybrid Modelling (FHM). However, the central ideas are not tied to FHM, but should be applicable to equation-based modelling languages in general, like Modelica, as well as to applications featuring modular systems of equations outside the field of modelling and simulation. |
| Language: | English |
| Keywords: | Equation-based, non-causal modelling, Modelica, Functional Hybrid Modelling, structural analysis, types, type-based analysis, dependent types |
| Year: | 2008 |
| No. of pages: | 11 |
| Pages: | 71-81 |
| ISBN: | 978-91-7519-823-1 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ecp/029/008/ecp08029008b.pdf |
| Available: | 2008-07-02 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
| REFERENCE TO THIS PAGE |
Ph.D., Lic. Theses
