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.
Complete list of metadatas

https://hal.inria.fr/inria-00463795
Contributor : René Quiniou <>
Submitted on : Monday, March 15, 2010 - 10:33:50 AM
Last modification on : Friday, November 16, 2018 - 1:38:50 AM

Identifiers

  • 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. ⟨inria-00463795⟩

Share

Metrics

Record views

263