A Spectrum of Diagnosis Approaches

This article argues that, regardless of the modeling framework, most diagnosis approaches can be classified in three categories or a combination of those categories. The purpose of this article is therefore to improve the understanding of diagnostic techniques used across the different modeling frameworks.

[1]  Hervé Marchand,et al.  Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques Fault Diagnosing in Discrete Event Systems: A symbolic State-Based Approach , 2002 .

[2]  Marie-Odile Cordier,et al.  Using model-checking techniques for diagnosing discrete-event systems , 2001 .

[3]  Carlos Alonso González,et al.  Possible conflicts: a compilation technique for consistency-based diagnosis , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[4]  Patrik Haslum,et al.  Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice , 2012, KR.

[5]  Gautam Biswas,et al.  An Event-Based Approach to Distributed Diagnosis of Continuous Systems , 2010 .

[6]  Pietro Torasso,et al.  The role of obdds in controlling tha complexity of model based diagnosis , 2004 .

[7]  Jinbo Huang,et al.  Hierarchical Diagnosis of Multiple Faults , 2007, IJCAI.

[8]  Alban Grastien,et al.  Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems , 2008, ECAI.

[9]  Richard Dearden,et al.  Towards Diagnosis Modulo Theories , 2011 .

[10]  Davide Bresolin,et al.  A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems , 2011, GandALF.

[11]  Marie-Odile Cordier,et al.  Comparing diagnosability in continuous and discrete-events systems , 2006 .

[12]  Meir Kalech,et al.  Compiling Model-Based Diagnosis to Boolean Satisfaction , 2012, AAAI.

[13]  Christophe Dousson,et al.  Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization , 2007, IJCAI.

[14]  J. Riedesel.  Diagnosing Multiple Faults in SSM/PMAD , 1990, Proceedings of the 25th Intersociety Energy Conversion Engineering Conference.

[15]  Gianmaria De Tommasi,et al.  An Efficient Approach for Online Diagnosis of Discrete Event Systems , 2009, IEEE Transactions on Automatic Control.

[16]  Erik Frisk,et al.  A Structural Algorithm for Finding Testable Sub-models and Multiple Fault Isolability Analysis , 2010 .

[17]  Priscilla Kan John,et al.  Model-based diagnosis of hybrid dynamical networks for fault tolerant control , 2008 .

[18]  Alban Grastien,et al.  Reformulation for the Diagnosis of Discrete-Event Systems , 2011, SARA.

[19]  Sajjad Ahmed Siddiqi,et al.  Computing Minimum-Cardinality Diagnoses by Model Relaxation , 2011, IJCAI.

[20]  Alban Grastien,et al.  Synthesis of a Distributed and Accurate Diagnoser , 2010 .

[21]  Jussi Rintanen.  Diagnosers and Diagnosability of Succinct Transition Systems , 2007, IJCAI.

[22]  Patrik Haslum,et al.  Exhaustive Diagnosis of Discrete Event Systems through Exploration of the Hypothesis Space , 2011 .

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

[24]  Alessandro Giua,et al.  Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[25]  Yannick Pencolé,et al.  Symbolic Models for Diagnosing Discrete-Event Systems , 2004, ECAI.

[26]  R. Boel,et al.  Petri Net model-based distributed diagnosis for large interacting systems , 2005 .

[27]  G. Lamperti,et al.  A bridged diagnostic method for the monitoring of polymorphic discrete-event systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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

[29]  Sheila A. McIlraith.  Explanatory Diagnosis: Conjecturing Actions to Explain Observations , 1998, KR.

[30]  René Boel,et al.  Petri Net model-based Distributed Fault Diagnosis for large Interacting Systems , 2005 .

[31]  Alban Grastien,et al.  Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study , 2007, IEEE Transactions on Automatic Control.

[32]  Alban Grastien,et al.  Diagnosis As Planning: Two Case Studies , 2011, ICAPS 2011.

[33]  Vincent Cocquempot,et al.  On non-invertibilities for structural analysis , 2010 .

[34]  Marcel Staroswiecki,et al.  Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems , 2001, Autom..

[35]  Albert Benveniste,et al.  Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets , 1998, Discret. Event Dyn. Syst..

[36]  Adnan Darwiche,et al.  Inference in belief networks: A procedural guide , 1996, Int. J. Approx. Reason..

[37]  Pierre Marquis,et al.  A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..

[38]  Marie-Odile Cordier,et al.  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks , 2005, Artif. Intell..

[39]  S. Narasimhan,et al.  HyDE – A General Framework for Stochastic and Hybrid Model-based Diagnosis , 2007 .

[40]  Yannick Pencolé,et al.  A Spectrum of Symbolic On-line Diagnosis Approaches , 2007, AAAI.

[41]  Gregory M. Provan,et al.  Approximate Model-Based Diagnosis Using Greedy Stochastic Search , 2007, SARA.

[42]  M. Golumbic.  Annals of Mathematics and Artificial Intelligence , 2004, Annals of Mathematics and Artificial Intelligence.

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

[44]  Marie-Odile Cordier,et al.  Alarm Driven Monitoring Based on Chronicles , 2000 .

[45]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[46]  Louise Travé-Massuyès,et al.  Set-Theoretic Estimation of Hybrid System Configurations , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[47]  Jinbo Huang,et al.  Sequential Diagnosis by Abstraction , 2011, J. Artif. Intell. Res..

[48]  Neil J. Gordon,et al.  A tutorial on particle filters for online nonlinear/non-Gaussian Bayesian tracking , 2002, IEEE Trans. Signal Process..

[49]  Walter Ukovich,et al.  On-line fault detection in discrete event systems by Petri nets and integer linear programming , 2009, Autom..

[50]  Xavier Olive,et al.  Diagnosis of a Class of Non Linear Hybrid Systems by On-line Instantiation of Parameterized Analytical Redundancy Relations ? , 2009 .

[51]  Jacob Roll,et al.  FlexDx: A reconfigurable diagnosis framework , 2010, Eng. Appl. Artif. Intell..

[52]  Adnan Darwiche,et al.  Model-Based Diagnosis using Structured System Descriptions , 1998, J. Artif. Intell. Res..

[53]  Yannick Pencolé,et al.  A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services , 2009, J. Univers. Comput. Sci..

[54]  Rong Su,et al.  Global and local consistencies in distributed fault diagnosis for discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[55]  Y. Bar-Shalom,et al.  The interacting multiple model algorithm for systems with Markovian switching coefficients , 1988 .

[56]  A. Darwiche,et al.  The Language of Search , 2007, J. Artif. Intell. Res..

[57]  Jorge A. Baier,et al.  Diagnosis as Planning Revisited , 2010, KR.

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

[59]  Philippe Dague.  Model-based diagnosis of analog electronic circuits , 2005, Annals of Mathematics and Artificial Intelligence.

[60]  Yannick Pencolé,et al.  TOWARDS LOW-COST FAULT DIAGNOSIS IN LARGE COMPONENT-BASED SYSTEMS 1 , 2006 .

[61]  Andreas G. Veneris.  Fault diagnosis and logic debugging using Boolean satisfiability , 2003, Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions.