Please use this identifier to cite or link to this item:
|Title:||Distributed Causal Model-based Diagnosis An Approach by Interacting Petri Nets|
invariant anal- ysis
|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 diﬀerent interacting subsystems (each modeled as a BPN) and the diagnostic system is deﬁned 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:
|Distributed Causal Model-based Diagnosis An Approach by Interacting Petri Nets.pdf||1,55 MB||Adobe PDF||View/Open|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.