Section: Highlights of the Year

Highlights of the Year

Team members have made a significant step towards the definition of a formal semantics of multimode DAE systems, their strucutral analysis and the generation of simulation code. In particular, impulsive behavior at mode changes are handled correctly  [19] (see Section 7.1 for full details). This semantics has been implemented, in part, in the SunDAE prototype software (Section 6.1).