Vous êtes ici : Accueil > Université > Composantes > Faculté d’Informatique > Séminaires IRIT UT Capitole
- 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
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.
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