HYCOMES

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

1. La modélisation et la vérification formelle des systèmes hybrides, concepts de solutions et 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.