Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Adobe portable document format (pdf)
Copyright noticeThis 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.
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.
Thierry Jéron
Thierry.Jeron@irisa.fr
Hervé Marchand
hmarchan@irisa.fr
@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}
}
Get EndNote Reference (.ref)