Automated formula manipulation supports object-oriented continuous-system modeling

Abstract
Digital continuous-system simulation languages are discussed. It is demonstrated how sophisticated automated formula manipulation can be used to automatically generate state-space models from an object-oriented description of a physical system. The two major complications, algebraic loops and structural singularities, occur frequently as a consequence of couplings between submodels (objects), and these difficulties can often be dealt with by automated formula manipulation. A software tool, Dymola, in which the various formula manipulation techniques have been implemented, is presented. Dymola is an object-oriented continuous-system modeling language and a model manipulator that can be used to generate models in several simulation languages.