HYCOMES

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.