Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques

Hervé Marchand 1 Laurence Rozé 2
2 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Résumé : 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
Type de document :
Communication dans un congrès
13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Jan 2002, Angers, France. pp.191-200, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00525565
Contributeur : Hervé Marchand <>
Soumis le : mardi 12 octobre 2010 - 10:45:05
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

  • HAL Id : inria-00525565, version 1

Citation

Hervé Marchand, Laurence Rozé. Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques. 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Jan 2002, Angers, France. pp.191-200, 2002. 〈inria-00525565〉

Partager

Métriques

Consultations de la notice

337