Détection et diagnostic basés cohérence pour les systèmes à événements discrets : vers la prise en compte des erreurs de modélisation

• Main Author: Lopez-Varela, Carmen Guadalupe
• Language: fra
• Published: INSA de Toulouse 2007
• Subjects: [SPI:AUTO] Engineering Sciences/Automatic; [SPI:AUTO] Sciences de l'ingénieur/Automatique / Robotique; Systèmes à événements discrets; Détection; Diagnostic; Vérification de cohérence; Modèles comportementaux; Erreurs de modélisation; Réseau de Petri; Identification des configurations des modèles
• Online Access: http://tel.archives-ouvertes.fr/tel-00244013; http://tel.archives-ouvertes.fr/docs/00/24/40/13/PDF/THESE_LOPEZ-VARELA_.pdf

Cette thèse propose une méthode de détection et diagnostic basée cohérence pour les systèmes à événements discrets. La méthode prend en compte la possibilité d'erreurs dans les modèles utilisés comme référence du bon comportement du système. La détection est réalisée par la vérification de cohérence entre le comportement observé et le comportement décrit par les modèles du système. Dans la mesure où les modèles utilisés ne sont pas exempts d'erreurs, la perte de cohérence détectée peut correspondre à une réelle défaillance au niveau du procédé ou à une erreur dans les modèles. Pour distinguer ces deux cas, il est nécessaire de déterminer les sous-modèles communs. Chaque observation émanant du procédé apporte une information utile pour l'identification de la ou des types de configuration entre les modèles. L'identification est réalisée en ligne et repose sur le parcours d'un graphe décrivant exhaustivement l'ensemble des configurations des modèles. Enfin, le rétablissement de la cohérence avec les observations par modification des modèles constitue le principe du diagnostic