The Use of Automated Formula Manipulation to Support Object-Oriented Continuous-System Modeling

François E. Cellier
Institute of Computational Science
ETH Zürich
CH-8092 Zürich
Switzerland
Email: FCellier@Inf.ETHZ.CH
Hilding Elmqvist
Dynasim AB
Research Park Ideon
S-223 70 Lund
Sweden
Email: Elmqvist@Dynasim.SE

Abstract

This paper shows automated formula manipulation to be central to object-oriented continuous-system modeling. Such techniques are needed to (i) solve the causality assignment problem in modeling any kind of energy transducer, (ii) generate the equations that result from the couplings between different objects, (iii) automatically reduce higher index models, and (iv) take care of algebraic loops that often result from subsystem couplings, and that also occur from the reduction of higher index models. A new tool, Dymola, is presented that implements all of the aforementioned formula manipulation techniques, and that can be used to generate state-space models in a variety of different simulation languages (ACSL, DESIRE, DSblock, Simnon, and SIMULINK).

Interested in reading the full paper? (8 pages, 692,246 bytes, pdf)

Homepage