On classification and modeling issues in distributed model-based diagnosis

With model-based diagnosis, diagnoses for occurring faults can be directly computed from a given system model and actual observations about system behavior. Model-based diagnosis has been successfully accommodated to several purposes, including the diagnosis of space probes and configuration knowledge bases. Recent research includes extensions for distributed systems, motivated by the ever-growing system complexity and inherently distributed domains like service-oriented architectures. Previous work in this context lacks however a detailed analysis and classification approach that considers essential underlying issues like diagnosis architecture, utilized models, and abstract requirements that might stem from the application domain. In this paper, we will show an analysis of distributed system diagnosis and a characterization in the three dimensions mentioned.

[1]  Susanne Stöhr.  Using a distributed knowledge base to coordinate autonomous mobile systems , 1996, Proceedings of 7th International Conference and Workshop on Database and Expert Systems Applications: DEXA 96.

[2]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[3]  Georg Gottlob,et al.  Physical Impossibility Instead of Fault Models , 1990, AAAI.

[4]  Alban Grastien,et al.  Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis , 2006, IJCAI.

[5]  Marie-Odile Cordier,et al.  Chronicles for On-line Diagnosis of Distributed Systems , 2008, ECAI.

[6]  Gregory M. Provan,et al.  Automated Benchmark Model Generators for Model-Based Diagnostic Inference , 2007, IJCAI.

[7]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[8]  Russell Greiner,et al.  A Correction to the Algorithm in Reiter's Theory of Diagnosis , 1989, Artif. Intell..

[9]  Raja Sengupta.  Diagnosis and Communication in Distributed Systems , 1999 .

[10]  Franz Wotawa,et al.  A Practical Approach for the Online Diagnosis of Industrial Transportation Systems , 2009 .

[11]  Igor Mozetic,et al.  Hierarchical Model-Based Diagnosis , 1991, Int. J. Man Mach. Stud..

[12]  Gautam Biswas,et al.  Distributed diagnosis of coupled mobile robots , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[13]  Gianfranco Lamperti,et al.  Diagnosis of a class of distributed discrete-event systems , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[14]  Meir Kalech,et al.  On the design of coordination diagnosis algorithms for teams of situated agents , 2007, Artif. Intell..

[15]  Gianfranco Lamperti,et al.  Diagnosis of Active Systems , 1998, ECAI.

[16]  P. Pandurang Nayak,et al.  Immobile Robots AI in the New Millennium , 1996, AI Mag..

[17]  S. H. Chung,et al.  Distributed real-time model-based diagnosis , 2003 .

[18]  Markus Stumptner,et al.  Consistency-based diagnosis of configuration knowledge bases , 1999, Artif. Intell..

[19]  Pietro Torasso,et al.  On-line monitoring and diagnosis of a team of service robots: A model-based approach , 2006, AI Commun..

[20]  Gregory M. Provan,et al.  Generating Application-Specific Benchmark Models for Complex Systems , 2008, AAAI.

[21]  Markus Stumptner,et al.  AD 2 L-A Programming Language for Model-Based Systems ( Preliminary Report ) , 2000 .

[22]  Markus Stumptner,et al.  An Environment and Language for Industrial Use of Model-based Diagnosis , 2000 .

[23]  Markus Stumptner,et al.  Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models , 2002, ECAI.

[24]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[25]  Johann Schweiger,et al.  Concepts of a distributed real-time knowledge base for teams of autonomous systems , 1994, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'94).

[26]  M. Potkonjak,et al.  On-line fault detection of sensor measurements , 2003, Proceedings of IEEE Sensors 2003 (IEEE Cat. No.03CH37498).

[27]  Peter Struss,et al.  CASE STUDIES IN MODEL-BASED DIAGNOSIS AND FAULT ANALYSIS OF CAR-SUBSYSTEMS , 1998 .

[28]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[29]  Feng Zhao,et al.  Distributed Diagnosis of Networked Hybrid Systems , 2002 .

[30]  Raymond Reiter,et al.  Structural Abstraction in Model-Based Diagnosis , 1998, European Conference on Artificial Intelligence.

[31]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[32]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[33]  S. Iyengar,et al.  Multi-Sensor Fusion: Fundamentals and Applications With Software , 1997 .

[34]  Franz Wotawa,et al.  Challenges of Distributed Model-Based Diagnosis , 2010, IEA/AIE.

[35]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

[36]  P. Struss,et al.  Qualitative Modeling is the Key A Successful Feasibility Study in Automated Generation of Diagnosis Guidelines and Failure Mode and Effects Analysis for Mechatronic Car Subsystems , 1998 .

[37]  Markus Stumptner,et al.  Towards an Integrated Debugging Environment , 2002, ECAI.

[38]  P. Pandurang Nayak,et al.  Remote Agent: An Autonomous Control System for the New Millennium , 2000, ECAI.

[39]  W. M. Wonham,et al.  Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[40]  P. Ribot,et al.  Design requirements for the diagnosability of distributed discrete event systems , 2008 .