Diagnosis and Diagnosability of Complex Discrete Event Systems Modeled by Labeled Petri Nets Soutenue le 3 mai 2017
Requirements Specification for Dependable Embedded Systems Design
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
Français
English
