Motifs de surveillance pour le diagnostic de systèmes à événements discrets

Thierry Jéron 1 Hervé Marchand 1 Marie-Odile Cordier 2
2 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Résumé : Dans cet article, nous nous intéressons au diagnostic dans les systèmes de transitions finis. Nous proposons un modèle de motifs de surveillance correspondant à des propriétés d'atteignabilité. Ceci permet de généraliser les propriétés à diagnostiquer tout en les découplant de la description du système. Nous en déduisons des techniques de vérification de diagnosticabilité et de construction de diagnostiqueur fondées sur des opérations standards sur les systèmes de transitions. Nous montrons que ces techniques sont suffisamment générales pour exprimer et résoudre de manière unifiée une classe importante de problèmes de diagnostic considérés dans la littérature comme le diagnostic de pannes permanentes, de pannes multiples, de séquences de pannes, et certains problèmes de diagnostic de pannes intermittentes.
Type de document :
Communication dans un congrès
RFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France. 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00463795
Contributeur : René Quiniou <>
Soumis le : lundi 15 mars 2010 - 10:33:50
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

  • HAL Id : inria-00463795, version 1

Citation

Thierry Jéron, Hervé Marchand, Marie-Odile Cordier. Motifs de surveillance pour le diagnostic de systèmes à événements discrets. RFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France. 2006. 〈inria-00463795〉

Partager

Métriques

Consultations de la notice

241