Please use this identifier to cite or link to this item:
Title: Distributed Causal Model-based Diagnosis An Approach by Interacting Petri Nets
Authors: BENNOUI, Hammadi
Keywords: model-based diagnosis
causal models
Petri nets
reachability analysis
invariant anal- ysis
Issue Date: 3-Dec-2014
Series/Report no.: Informatique;
Abstract: This thesis deals with the problem of distributed causal model-based diagnosis on interacting Be- havioral Petri Nets (BPNs). The system to be diagnosed comprises different interacting subsystems (each modeled as a BPN) and the diagnostic system is defined as a multi-agent system where each agent is designed to diagnose a particular subsystem on the basis of its local model, the local re- ceived observation and the information exchanged with the neighboring agents. The interactions between subsystems are captured by tokens that may pass from one net model to another via bordered places. The diagnostic reasoning scheme is accomplished locally within each agent by exploiting classical analysis techniques of Petri nets like reachability graph and invariant analysis. Once local diagnoses are obtained, agents begin to communicate to ensure that such diagnoses are consistent and recover completely the results that would be obtained by a centralized agent having a global view about the whole system.
Appears in Collections:Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie (FSESNV)

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.