Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

rfia-jeron-marchand-cordier-06

T. Jéron, H. Marchand, M-O. Cordier. Motifs de surveillance pour le diagnostics de systèmes à événements discrets finis. In 15e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, Tours, France, January 2006.

Download [help]

Download paper: Adobe portable document (pdf) pdf

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

Dans cet article, nous nous intéressons au diagnostic dans les systèmes de transition 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

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

@InProceedings{rfia-jeron-marchand-cordier-06,
   Author = {Jéron, T. and Marchand, H. and Cordier, M-O.},
   Title = {Motifs de surveillance pour le diagnostics de systèmes à événements discrets finis},
   BookTitle = {15e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle},
   Address = {Tours, France},
   Month = {January},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)