Project-team

HYCOMES

Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques

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

  • Hybrid systems modeling, the structural analysis of multi-mode 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 cyber-physical systems design methods.
Centre(s) inria
Rennes
In partnership with
Université Rennes 1

Members

Team leader

Armelle Mozziconacci

Team assistant