| Titre : | A CPN-approach for distributed abductive reasoning : application to causal model-based diagnosis |
| Auteurs : | Soumia Mancer, Auteur ; Hammadi Bennoui, Directeur de thèse |
| Type de document : | Thése doctorat |
| Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2020 |
| Format : | 1 vol. (85 p.) / 30 cm |
| Langues: | Anglais |
| Mots-clés: | Model-based diagnosis,Causal models,Petri nets,Reachability analysis,CW-analysis. |
| Résumé : |
This thesis deals with fault diagnosis of distributed systems from a modelbased view where Coloured Petri Nets are used to describe the system behaviour. The systems concerned here are those comprising different interacting subsystems. Coloured Behavioural Petri Nets are defined as a particular CPN intended for the description of a system’s causal behaviour, where each transition is labelled with a matrix describing explicitly its firing ways. The use of such matrices helps in tackling the problem of complexity during backward analysis, and gives rise to a very specific technique based on reachability of CBPNs called CW-analysis. CBPNs together with the CW-analysis are used to develop a distributed model-based diagnosis approach. The diagnostic system is defined as set of diagnostic agents where each is assigned to diagnose a subsystem. Accordingly, the system model consists of a set of place-bordered CBPNs, whereas CW-analysis is exploited to implement a local diagnosis scheme. Once local diagnoses are obtained by the different agents, a cooperation process should be initiated to ensure global consistency of such diagnoses. |
| Sommaire : |
List of Figures vi 1 Introduction 1 I Preliminaries 8 2 Model-Based Diagnosis & Petri Nets 9 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2 Principles of Model-Based Diagnosis . . . . . . . . . . . . . . . . . . . 12 2.2.1 Approaches to model-based diagnosis . . . . . . . . . . . . . . 12 2.2.2 Unified framework for MBD . . . . . . . . . . . . . . . . . . . 15 2.2.3 Distributed Model-Based Diagnosis . . . . . . . . . . . . . . . 17 2.3 Petri Nets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 2.4 PN-Based Diagnosis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.4.1 Brief survey . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.4.2 BPN-based diagnosis . . . . . . . . . . . . . . . . . . . . . . . . 26 2.5 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 II Contributions 33 3 Coloured Behavioural Petri Nets 34 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 3.2 Coloured Behavioural Petri Net models . . . . . . . . . . . . . . . . . 35 iv TABLE OF CONTENTS 3.2.1 Structure of CBPNs . . . . . . . . . . . . . . . . . . . . . . . . 36 3.2.2 Dynamic Behaviour of a CBPN . . . . . . . . . . . . . . . . . . 40 3.3 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 3.4 BPN-CBPN Translation . . . . . . . . . . . . . . . . . . . . . . . . . . 43 3.4.1 Translation procedure . . . . . . . . . . . . . . . . . . . . . . . 43 3.4.2 Proof of correctness . . . . . . . . . . . . . . . . . . . . . . . . . 49 3.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 4 CW-Analysis for Diagnostic Problem Solving 52 4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 4.2 CW-analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 4.2.1 Formal definition . . . . . . . . . . . . . . . . . . . . . . . . . . 54 4.2.2 Analysis algorithm . . . . . . . . . . . . . . . . . . . . . . . . . 57 4.3 Formalizing Diagnosis with CBPNs . . . . . . . . . . . . . . . . . . . 59 4.4 Diagnostic problem solving within CBPNs . . . . . . . . . . . . . . . 61 4.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 5 Modular CBPN-Based Diagnosis 64 5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 5.2 System model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 5.3 Local preliminary diagnosis . . . . . . . . . . . . . . . . . . . . . . . . 67 5.4 Cooperation between agents . . . . . . . . . . . . . . . . . . . . . . . . 72 5.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 6 Conclusion 77 Bibliography 80 |
| En ligne : | http://thesis.univ-biskra.dz/4922/1/ThesisMancerSoumia.pdf |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| TINF/147 | Théses de doctorat | bibliothèque sciences exactes | Consultable |
