Professeur


Equipe(s)

PERSI

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

Paul Cazenave

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

Olfa Fakhfakh

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

Yuchen Xie

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

Quoc Khanh Dang

Conception d’un nouveau système de contrôle et signalisation pour la fluidification du trafic ferroviaire