Using SPARK as a Solver for Modelica
Description:
Modelica is an object-oriented acausal modeling language that is well positioned to become a de-facto standard for expressing models of complex physical systems. To simulate a model expressed in Modelica, it needs to be translated into executable code. For generating run-time efficient code, such a translation needs to employ algebraic formula manipulations. As the SPARK solver has been shown to be competitive for generating such code but currently cannot be used with the Modelica language, we …
more
Date:
June 30, 2008
Creator:
Wetter, Michael; Wetter, Michael; Haves, Philip; Moshier, Michael A. & Sowell, Edward F.