marchand02a

H. Marchand, L. Rozé. Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques. In 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Pages 191-200, Angers, France, January 2002.

Download [help]

Download paper: Adobe portable document (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

Nous présentons une technique de supervision s'appuyant sur une représentation symbolique du modèle du système à superviser et de l'outil utilisé pour effectuer le diagnostic (le diagnostiqueur). Basé sur une approche polynomiale, nous utilisons pour représenter le modèle un automate de Moore symbolique qui permet de représenter des systèmes de grandes tailles. La partie combinatoire la plus importante de ce travail se situe au niveau de l'algorithme de construction du diagnostiqueur et a été diminuée par l'introduction d'une réduction symbolique du modèle (modèle quotient par rapport à une relation d'équivalence s'appuyant sur l'histoire du système). L'intérêt de cette réduction symbolique est grande puisqu'elle permet d'effectuer les calculs de la fonction de transition hors ligne lors d'un prétraitement, réduisant ainsi considérablement le travail devant être effectué en ligne

Contact

Hervé Marchand http://www.irisa.fr/prive/hmarchan

BibTex Reference

@InProceedings{marchand02a,
   Author = {Marchand, H. and Rozé, L.},
   Title = {Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques},
   BookTitle = {13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle},
   Pages = {191--200},
   Address = {Angers, France},
   Month = {January},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)