Files:DescriptionFile size FormatBrowse
Fulltext0.37 MBPDF (requires Acrobat Reader)Previous | Next
Authors:Henrik Nilßon: 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 Nilßon (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 3/26/2015)