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
Centre Inria de l’Université de Rennes

Contacts

Responsable de l'équipe

Armelle Mozziconacci

Assistant(e) de l'équipe

Dans l'actualité