HYCOMES

The Hycomes team-project focuses on research topics related to cyberphysical systems design:

• Hybrid systems modeling, the structural analysis of multimode differential algebraic equations, with a special attention to the Modelica lnaguage and its compilation ;
• The formalization of requirements, using contract-based design methods and interface theories, to support rigorous cyberphysical systems design methods.