SURVEILLANCE ET DIAGNOSTIC DES PHASES
TRANSITOIRES DES SYSTEMES HYBRIDES

Les approches de signature temporelle

 Ces approches reposent sur la représentation et la reconnaissance de parties d’évolution d’un SED à travers une séquence d’événements observés. Différentes définitions sont proposées: chronique, scénario, session, template, etc. Malgré cette diversité, toutes les approches présentent des similarités conceptuelles fondées sur un objectif commun : le suivi et le diagnostic. La différence réside essentiellement dans le mécanisme (algorithme) de reconnaissance (le critère de similarité adoptée entre l’observation et la signature) et la représentation ou non des comportements anormaux. La principale contrainte de ces approches est la difficulté d’acquisition et de mise à jour de la base de connaissance. Les techniques d’apprentissage sont alors considérées dans certains travaux [Cordier & Dousson, 00].

Chronique

Une chronique peut être considérée comme un ensemble de motifs d’événements liés par un ensemble de contraintes contextuelles et temporelles. Si des événements observés correspondent aux motifs de la chronique et si leur occurrence a lieu selon le contexte et les contraintes spécifiés alors une instance de la chronique modélisée doit être reconnue. Le système de reconnaissance reçoit un flux d’entrée d’événements datés et reconnaît un motif temporel (modèle de la chronique) au cours du temps et envoie les chroniques reconnues vers la sortie (séquence d’événements reconnus). La figure 3.3 illustre l’architecture proposée par [Dousson, 9] .L’approche est essentiellement un processus de raisonnement temporel basé sur une prédiction complète de la date possible d’arrivée d’un événement attendu. L’ensemble de toutes ces valeurs (appelées fenêtre temporelle) est réduit par la propagation des dates des événements observés sur un graphe de contraintes temporelles. Le processus de reconnaissance est incrémenté au fur et à mesure de l’arrivée de nouveaux événements. L’incertitude ou l’imprécision sur les dates est  prise en compte à travers des délais. La surveillance, à partir de chroniques, d’un système dynamique continu nécessite la transformation d’un signal en un flot d’événements, ce qui correspond à la détermination de motifs particuliers ou à l’abstraction de la dynamique continue à partir un partitionnement (définition de seuils sur la valeur ou sur la dérivé des signaux). Le partitionnement est fondé sur un critère de discriminabilité entre chroniques. Dans le cadre du projet TIGER [Cauvin et al., 98] sur la surveillance d’une turbine à gaz, [Dosson, 94], [Ghallab, 96] propose, à partir d’un modèle qualitatif représenté par un graphe causal (Projet Ca~En), l’obtention des chroniques qui décrivent les influences entre les variables. Pour chaque relation de causalité (influence), deux chroniques mutuellement exclusives sont utilisées pour la vérification du fonctionnement. Cependant, le critère de définition des seuils et la prise en compte des enveloppes d’incertitude sur les dynamiques restent encore ouverts et proposés comme perspective. Ce contexte correspond bien à la problématique de base de notre travail. L’association du formalisme de réseau de Petri et des chroniques pour l’analyse de la propagation de défaut est proposée par [Aghasaryan & Dousson, 01]. Le problème de diagnostic consiste à inférer sur les historiques de défauts à partir d’un ensemble d’alarmes (chroniques) observées. Un modèle probabiliste est proposé et des contraintes temporelles sont considérées de façon à permettre la discrimination entre les différentes histoires de défaut qui peuvent générer la même observation. Les notions de causalité, conflit, concurrence, dépliage, branchement temporel (time branching net) liées au formalisme de réseau de Petri [Guerraz & Dousson, 04] permettent la modélisation, l’identification et la discrimination des histoires de défaut. Selon les auteurs, l’approche peut être étendue à un problème de suivi dans le cas où les places ne représentent plus des défauts mais des états du procédé. Ce contexte a été également exploité dans notre approche. Dans cette approche, il n’y a pas d’hypothèse sur ce que représente la chronique: elle peut être associée à un comportement normal ou de défaut. Chaque défaut fi ∈ F doit être associé à un modèle de chronique. La principale difficulté de l’approche est l’acquisition d’une base de chroniques correcte et complète et son maintien lorsque des changements fonctionnels et topologiques sont effectués sur le système [Cordier & Dousson, 00]. Ainsi des mécanismes d’apprentissage sont proposés : non supervisé (basé sur la fréquence d’occurrence d’alarmes) et supervisé (basé sur l’intégration d’un modèle comportemental du système pour acquérir par apprentissage l’ensemble des chroniques). La figure 3.4 illustre l’architecture de surveillance proposée pour un réseau de télécommunication (Projet GASPAR (Gestion d’Alarmes par Simulation de Pannes sur Réseau de télécommunication), Groupe de recherche ALARME) [Cauvin et al., 98].

Scénario et session 

Le problème de reconnaissance de signature temporelle de [Fontaine & Ramaux, 98] consiste à vérifier la distance ou proximité entre le scénario S (modèle du comportement dynamique du système) et une session Σ (le comportement observé) sur une représentation à base de graphes temporels. Les scénarios représentent les modes de comportements normaux ou de défaut au moyen de modèles temporels profonds. L’identification et la discrimination d’un défaut (session) consiste à vérifier qu’un scénario qui présente le plus petit indice de chevauchement (temporal overlapping) ou compatibilité (pour des graphes compatibles) ou indice de distance temporelle (temporal difference index) ou incompatibilité (pour des graphes incompatibles, disjoints) entre les graphes. La figure 3.5 illustre cette notion. Figure 3.5 : La distance entre scénario et session Les scénarios neutres (neutral scenarios) sont également définis pour des sessions non reconnues permettant la détection d’incohérences et leur insertion a posteriori dans le modèle du système. Ce principe est considéré, en général, dans les approches de reconnaissance de formes et de diagnostic à base de modèles basées sur la cohérence de façon à doter le système d’un mécanisme de mise à jour sur les modes comportementaux répertoriés.