Diagnosis and Diagnosability of Complex Discrete Event Systems Modeled by Labeled Petri Nets Soutenue le 3 mai 2017
Synthèse de contrôleurs pour des classes de Réseau de Petri à contrôlabilité et observabilité partielles : Application au contrôle automatisé des trains Soutenue le 26 novembre 2020
Surveillance et diagnostic par le flux d’ateliers de production cyclique Soutenue le 2 décembre 2015
Modélisation et vérifidation formelle de systèmes de contrôle de trains Soutenue le 14 février 2019
Conception d’un nouveau système de contrôle et signalisation pour la fluidification du trafic ferroviaire