Equipe-projet

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

Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception des systèmes cyberphysiques:

  1. La modélisation des systèmes hybrides, l'analyse structurelle des systèmes d'équations différentielles algébriques multimodes, et plus particulièrement la compilation du langage Modelica ;
  2. La conception par contrats et les théories d'interfaces pour la formalisation des cahiers des charges des systèmes cyberphysiques.
Centre(s) inria
Rennes - Bretagne Atlantique
En partenariat avec
Université Rennes 1

Membres

Responsable de l'équipe

Armelle Mozziconacci

Assistant(e) de l'équipe