Distributed Causal Model-based Diagnosis: An Approach by Interacting Petri Nets

Abstract

Cette th�ese traite le probl�eme de diagnostic �a base de mod�eles causaux par r�eseaux de Petri com- portementaux (BPNs). Le syst�eme �a diagnostiquer est consid�er�e comme une collection de sous- syst�emes en interaction (chacun est mod�elis�e comme un BPN) et le syst�eme de diagnostic est d�e�ni comme un syst�eme multi-agents o�u chaque agent est charg�e de diagnostiquer un sous-syst�eme par- ticulier en se basant sur son mod�ele local, l'observation locale re�cue et les informations �echang�ees avec les agents voisins. Les interactions entre les sous-syst�emes sont captur�ees par des jetons qui peuvent passer d'un mod�ele �a l'autre via des places communes entre mod�eles BPNs. Le m�ecanisme de r�esolution est accompli localement au niveau de chaque agent par exploitation des techniques classiques d'analyse des r�eseaux de Petri comme l'analyse �a base de graphes d'atteignabilit�e et celle bas�ee sur les invariants. Une fois les diagnostics locaux sont obtenus, les agents entrent dans une �etape de communication a�n d'assurer que ces diagnostics sont coh�erents et recouvrent les r�esultats obtenus par un agent centralis�e ayant une vision globale autour du syst�eme entier.