Nous nous intéressons au diagnostic de systèmes à événements discrets modélisés par un automate. Pour pouvoir prendre en compte des observations incertaines, nous les représentons sous la forme d'un automate. Le diagnostic est alors défini comme la synchronisation des deux automates. Pour permettre un calcul incrémental et en-ligne du diagnostic, nous définissons une structure appelée chaîne d'automates qui représente les observations par périodes appelées fenêtres.<br />Le diagnostic peut s'effectuer sur chacune de ces périodes, et on peut raffiner le résultat en vérifiant l'égalité entre l'état final d'une fenêtre et l'état initial de la suivante. Puisque le modèle global d'un système réel est trop grand pour être calculé, nous avons adapté les techniques de diagnostic décentralisé à notre approche. Enfin, nous avons étendu nos résultats aux systèmes reconfigurables, c'est-à-dire dont certains composants ainsi que les connexions entre ceux-ci peuvent être ajoutés, modifiés ou supprimés.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00011757 |
Date | 13 December 2005 |
Creators | Grastien, Alban |
Publisher | Université Rennes 1 |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0018 seconds