Files:DescriptionFile size FormatBrowse
Fulltext0.37 MBPDF (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
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.
Keywords:Equation-based, non-causal modelling, Modelica, Functional Hybrid Modelling, structural analysis, types, type-based analysis, dependent types
No. of pages:11
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
Publisher:Linköping University Electronic Press, Linköpings universitet

Henrik Nilsson (2008). Type-Based Structural Analysis for Modular Systems of Equations, Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools;article=008 (accessed 4/20/2014)