Please use this identifier to cite or link to this item: http://archives.univ-biskra.dz/handle/123456789/24331
Title: Distributed Causal Model-based Diagnosis: An Approach by Interacting Petri Nets
Authors: BENNOUI, Hammadi
Keywords: diagnostic bas�e-mod�ele, mod�eles causaux, r�eseaux de Petri, analyse d'atteignabilit�e, analyse d'invariants.
Issue Date: 2011
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.
URI: http://archives.univ-biskra.dz/handle/123456789/24331
Appears in Collections:Informatique

Files in This Item:
File Description SizeFormat 
Distributed Causal Model-based Diagnosis An Approach by Interacting Petri Nets.pdf1,55 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.