 |
|
|
|
| Fiche détaillée | Thèses |
|
|
| Université Rennes 1 (13/12/2005), Marie-Odile Cordier (Dir.) |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables |
|
|
| Alban Grastien1 |
|
|
|
| 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. 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. |
|
|
|
|
|
|
|
|
|
| 1 : | INRIA - IRISA - DREAM |
|
|
|
|
|
|
|
| Diagnostic à base de modèles – systèmes à événements discrets – intelligence artificielle – systèmes reconfigurables – diagnostic en-ligne |
| Decentralized and on-line diagnosis of reconfigurable discrete-event systems |
| We are interested into diagnosing discrete-event systems modeled by an automaton. To allow uncertain observations, we represent them by an automaton. The diagnosis is then defined as the synchronization of the two automata. To enable an incremental and on-line computation of the diagnosis, we define a structure called automata chain, which represents the observations by periods called windows. It is possible to make a diagnosis for each period, and to refine the result by checking that the final state of a window is the initial state of the next window. Since the global model is to big to be computed, we have adapted our results to enable the decentralized diagnosis. Finally, we extended our results to reconfigurable systems, i.e. so that the components and connections between the components can be added, modified or removed. |
| model-based diagnosis – discrete-event systems – artificial intelligence – reconfigurable systems – on-line diagnosis |
| tel-00011757, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00011757 | |
| oai:tel.archives-ouvertes.fr:tel-00011757 | |
| Contributeur : Alban Grastien | |
| Soumis le : Lundi 6 Mars 2006, 02:16:52 | |
| Dernière modification le : Lundi 24 Avril 2006, 03:14:38 | |
