Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Evénements > Séminaires

Séminaires

 

L’IRIT étant localisé sur plusieurs sites, ses séminaires sont organisés et ont lieu soit à l’Université Toulouse 3 Paul Sabatier (UT3), l’Université Toulouse 1 Capitole (UT1), l’INP-ENSEEIHT ou l’Université Toulouse 2 Jean Jaurès (UT2J).

 

Séminaire UT1C : Diagnostic préférentiel à base de modèles discrets pour des fautes intermittentes et permanentes

Valentin BOUZIAT - Doctorant à l'ONERA

Jeudi 8 Novembre 2018, 12h30 - 14h00
Manufacture de Tabacs, Salle TBA
Version PDF :

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.

 

Retour