Professeur

Chef d'équipe (MOSES)

Equipe(s)

MOSES

Thèses dirigées ou co-encadrées au sein de CRIStAL

Ben Li

Diagnosis and Diagnosability of Complex Discrete Event Systems Modeled by Labeled Petri Nets Soutenue le 3 mai 2017

Olfa Fakhfakh

Surveillance et diagnostic par le flux d’ateliers de production cyclique Soutenue le 2 décembre 2015

Paul Cazenave

Synthèse de contrôleurs pour la commande automatique des systèmes ferroviaires

Yuchen Xie

Modélisation et vérifidation formelle de systèmes de contrôle de trains Soutenue le 14 février 2019