Contribution à la surveillance distribuée des systèmes à événements discrets complexes - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2003

Contribution à la surveillance distribuée des systèmes à événements discrets complexes

Résumé

The work presented in this memory is related to the domain of the distributed monitoring of discrete event systems and deals in particular with the problem of the distributed detection of complex processes. The proposed architecture is based on autonomous and co-operative monitoring sites allowing to monitor process evolutions. These evolutions representing the excepted functioning (normal) of the system or failure situations are described by chronicles. Every chronicle is composed of a set of events and a set of time constraints between these events. Three types of constraints are considered : precedence constraints, interval constraints and window admissibility constraints. A chronicle is recognised if all the constraints composing it are verified considering durations separating events occurrences associated to it. The distribution of the time model represented by the chronicle induces the distribution of the chronicle into sub-chronicles distributed on several monitoring sites (subsystems). The recognition of the sub-chronicles set insures the recognition of the chronicle. This distribution of the chronicle into sub-chronicles generates two types of constraints: the local constraints and the global constraints. Communication or transport delays between sites are bounded and are taken into account while verifying a global time constraint. The uncertainty induced by these delays generates an uncertainty on the verification that results in a measure of the possibility associated to a constraint verification. Mechanisms of co-operation between monitoring sites are defined. A modelling of the various developed mechanisms based on fuzzy p-t-temporal Petri nets is proposed. Finally, the work set is applied to the monitoring of an intermodal freight terminal.
Le travail présenté dans ce mémoire s'inscrit dans le domaine de la surveillance des systèmes à événements discrets et porte plus particulièrement sur le problème de la détection distribuée de procédés complexes. L'architecture proposée repose sur des sites autonomes et coopératifs de surveillance permettant de surveiller les évolutions du procédé. Ces évolutions, traduisant le fonctionnement attendu (normal) du système ou des situations de défaillance, sont décrites par des chroniques. Chaque chronique est composée d'un ensemble d'événements et d'un ensemble de contraintes temporelles entre ces événements. Trois types de contraintes sont considérés : les contraintes de précédence, les contraintes de types intervalles et les contraintes de type fenêtre d'admissibilité. Une chronique est dite reconnue si toutes les contraintes qui la composent sont vérifiées compte tenu des durées séparant les occurrences des événements la constituant. La distribution du modèle temporel représenté par la chronique induit la distribution de la chronique en sous-chroniques distribuées sur plusieurs sites de surveillance (sous-systèmes). La reconnaissance de l'ensemble des sous-chroniques assure la reconnaissance de la chronique. Cette distribution de la chronique en sous-chroniques permet de mettre en évidence deux types de contraintes : les contraintes locales et les contraintes globales. Les délais de communication ou de transport entre sites sont bornés et sont pris en compte lors de la vérification des contraintes temporelles globales. L'incertitude induite par ces délais engendre une incertitude sur la vérification qui se traduit par une mesure de possibilité associée à la vérification d'une contrainte. Des mécanismes de coopération entre sites de surveillance sont définis. Une modélisation des différents mécanismes développés reposant sur les réseaux de Petri p-t-temporels flous est proposée. Enfin, l'ensemble des travaux est appliqué à la surveillance d'un terminal intermodal de fret.
Fichier principal
Vignette du fichier
tel-00010972.pdf (1.27 Mo) Télécharger le fichier

Dates et versions

tel-00010972 , version 1 (15-11-2005)

Identifiants

  • HAL Id : tel-00010972 , version 1

Citer

Amine Boufaied. Contribution à la surveillance distribuée des systèmes à événements discrets complexes. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 2003. Français. ⟨NNT : ⟩. ⟨tel-00010972⟩
365 Consultations
644 Téléchargements

Partager

Gmail Facebook X LinkedIn More