Ce groupe de recherche se consacre à l’étude des méthodes et des modèles dédiés à l’analyse des systèmes hybrides, temporisés et stochastiques ou combinant ces aspects. Les travaux menés au sein de ce groupe ont le point commun d’utiliser de techniques propres aux systèmes à événements discrets. Nos recherches portent plus particulièrement sur les domaines suivants :