Decentralized and on-line diagnosis of reconfigurable discrete-event systems
Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables
Résumé
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.
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.
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.
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.