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

BENNOUI, Hammadi (2012) Distributed Causal Model-based Diagnosis: An Approach by Interacting Petri Nets. Doctoral thesis, UNIVERSITE DE MOHAMED KHIDER BISKRA.

[img]
Preview
Text
Thesis_Bennoui.pdf

Download (1MB) | Preview

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.

Item Type: Thesis (Doctoral)
Uncontrolled Keywords: diagnostic bas�e-mod�ele, mod�eles causaux, r�eseaux de Petri, analyse d'atteignabilit�e, analyse d'invariants.
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie > Département d'informatique
Depositing User: BFSE
Date Deposited: 16 Apr 2018 09:20
Last Modified: 16 Apr 2018 09:20
URI: http://thesis.univ-biskra.dz/id/eprint/3523

Actions (login required)

View Item View Item