• Recherche,

"Diagnostic préférentiel à base de modèles discrets pour des fautes intermittentes et permanentes", Valentin Bouziat, colloque de l'IRIT

le 8 novembre 2018

12h30
Manufacture des Tabacs
TBA

Valentin Bouziat, doctorant à l'ONERA, nous présentera ses travaux intitulés "Diagnostic préférentiel à base de modèles discrets pour des fautes intermittentes et permanentes".

Résumé: Nous nous intéressons dans cet article au diagnostic de systèmes à événements discrets associés à des dynamiques temporelles. Nous proposons ici un formalisme de modélisation logique afin de produire un diagnostic unique à chaque pas de temps discrets grâce à des préférences conditionnelles.
Au travers de cet article, nous verrons les limitations qui touchent l'approche de diagnostic pour de tels systèmes et nous fournirons une méthode basée sur le model-checking afin de détecter ces problèmes dès la phase de conception. 

Abstract : We are interested in the diagnosis of discrete event systems associated with temporal dynamics. We propose a logic based modeling approach producing a unique diagnosis at each discrete time step by using conditional preferences.
In this paper, we will see the limitations that affect the diagnosis for such systems and we will provide a method based on model-checking to overcome these problems during design time.
Mis à jour le 23 octobre 2018