Diagnosis and Diagnosability of Complex Discrete Event Systems Modeled by Labeled Petri Nets Soutenue le 3 mai 2017
Surveillance et diagnostic par le flux d’ateliers de production cyclique Soutenue le 2 décembre 2015
Synthèse de contrôleurs pour la commande automatique des systèmes ferroviaires
Modélisation et vérifidation formelle de systèmes de contrôle de trains Soutenue le 14 février 2019
Français
English
