Section: Highlights of the Year

Highlights of the Year

The Hycomes team has reached in 2019 an important milestone in the team's research objectives: the design and implementation of an implicit structural analysis algorithm supporting multimode DAE systems. This method is based on an encoding of the varying structure of a multimode DAE as Boolean functions, represented with Binary Decision Diagrams (BDD). This enables a complete strucutral analysis of a multimode DAE system, without enumerating its modes.