L'objectif général de mes recherches est de proposer des apports formels et méthodologiques visant à améliorer la conception, l'implantation, la validation et l'exploitation des Systèmes à Evénements Discrets (SED).

En introduisant une plus grande rigueur dans le processus d'ingénierie de cette classe de systèmes de commande, ces apports permettent en particulier d'en formaliser les spécifications ainsi que les modèles de conception et d'implantation, d'éviter ou d'éliminer les fautes lors de leur développement, d'évaluer a priori leurs performances et d'en faciliter le diagnostic pendant l'exploitation. Ils contribuent ainsi très directement à accroître la sûreté de fonctionnement et les performances des systèmes commandés.

• Formalisation algébrique des SED pour l'analyse prévisionnelle des risques,
• Evaluation de la performance temporelle des architectures de commande en réseaux,
• Diagnostic par méthode du modèle,
• Identification comportementale.
  

Thèses en cours (par ordre chronologique d'inscription)

• Kévin VIARD
  
• Thèse en cotutelle avec Maria Pia FANTI, Full Professor au Politecnico di Bari, Directrice du Laboratory of Control and Automation (Italie)
• Yannick LAUMONIER
• Thèse CIFRE avec GE Digital Paris et Alstom Ernergy
  co-direction avec Jean-Marc FAURE

Thèses soutenues

• Liste des thèses encadrées