Portail documentaire Université Mohamed Khider Biskra

Consultable

Titre :	Distributed causal model model-based diagnosis : an approach by interacting petri nets
Auteurs :	Hammadi Bennoui ; Djamel Eddine Saidoun, Directeur de thèse
Support:	Thése doctorat
Editeur :	Biskra [Algerie] : Mohamed Khider university of Biskra, 2012
Langues:	Anglais
Résumé :	This thesis deals with the problem of distributed causal model-based diagnosis on interacting Behavioral 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 received 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.

Cote	Support	Localisation	Disponibilité	Emplacement
TH/1363	Thèse doctorat	Bibliothèque centrale El Allia	Exclu du prêt	Salle de consultation
TH/1363	Thèse doctorat	Bibliothèque centrale El Allia	Exclu du prêt	Salle de consultation
TH/1363	Thèse doctorat	Bibliothèque centrale El Allia	Exclu du prêt	Salle de consultation
TH/1363	Thèse doctorat	Bibliothèque centrale El Allia	Exclu du prêt	Salle de consultation