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
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
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 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=029;article=008 (accessed 10/26/2014)