Reliability and Diagnostics of Modular Systems: a New Probabilistic Approach

Reliability theory and model-based diagnostics are two different, although closely related fields. Both have their own well-developed techniques and computational models, but their connection is rarely being pointed out. This paper starts from a common modular system description, whose underlying Boolean function is transformed into a compact graphical representation. The goal is to show how to use this technique for a probabilistic analysis of both the system’s reliability and the diagnostic problem.

[1]  John Andrews,et al.  Reliability and Risk Assessment , 1994 .

[2]  David J. Sherwin,et al.  System Reliability Theory—Models and Statistical Methods , 1995 .

[3]  Bernhard Anrig,et al.  Probabilistic model-based diagnostics , 2000 .

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

[5]  Peter Fröhlich.  DRUM-II - efficient model-based diagnosis of technical systems , 1998, DISKI.

[6]  Kishor S. Trivedi,et al.  A survey of efficient reliability computation using disjoint products approach , 1995, Networks.

[7]  K. Young,et al.  AMERICAN SOCIETY OF MECHANICAL ENGINEERS. , 1880, Science.

[8]  Bernd Becker,et al.  A BDD-based algorithm for computation of exact fault detection probabilities , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[9]  M. Pollack.  Journal of Artificial Intelligence Research: Preface , 2001 .

[10]  Jürg Kohlas,et al.  Zuverlässigkeit und Verfügbarkeit , 1987 .

[11]  Jürg Kohlas,et al.  Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning , 1998, Artif. Intell..

[12]  N. Ravichandran.  Stochastic Methods in Reliability Theory , 1991 .

[13]  Igor Bazovsky,et al.  Reliability Theory and Practice , 1961 .

[14]  Peter J. F. Lucas.  Bayesian model-based diagnosis , 2001, Int. J. Approx. Reason..

[15]  P. Monney,et al.  A generalization of the algorithm of Heidtmann to non-monotone formulas , 1996 .

[16]  Kishor S. Trivedi,et al.  A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components , 2003, IEEE Trans. Computers.

[17]  Klaus D. Heidtmann,et al.  Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation , 2002, SAFECOMP.

[18]  Klaus D. Heidtmann,et al.  Smaller sums of disjoint products by subproduct inversion , 1989 .

[19]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[20]  Rolf Haenni,et al.  Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions , 2006, KR.

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

[22]  Christophe Bérenguer,et al.  A practical comparison of methods to assess sum-of-products , 2003, Reliab. Eng. Syst. Saf..

[23]  Ahmed Y. Tawfik,et al.  Model-based diagnosis: A probabilistic extension , 1998, Applications of Uncertainty Formalisms.

[24]  Rolf Drechsler,et al.  Utilizing BDDs for disjoint SOP minimization , 2002, The 2002 45th Midwest Symposium on Circuits and Systems, 2002. MWSCAS-2002..

[25]  Yves Dutuit,et al.  An optimized procedure to generate sums of disjoint products , 1999 .

[26]  Adnan Darwiche,et al.  A compiler for deterministic, decomposable negation normal form , 2002, AAAI/IAAI.

[27]  Bernhard Anrig.  A Generalization of the Algorithm of Abraham , 2000 .

[28]  Roslyn M. Sinnamon,et al.  Fault tree analysis and binary decision diagrams , 1996, Proceedings of 1996 Annual Reliability and Maintainability Symposium.

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

[30]  Jürg Kohlas,et al.  Model‐based reliability and diagnostics: A common framework for reliability and diagnostics , 2003, Int. J. Intell. Syst..

[31]  J. Abraham.  An Improved Algorithm for Network Reliability , 1979, IEEE Transactions on Reliability.

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

[33]  Peter Clote,et al.  Boolean Functions and Computation Models , 2002, Texts in Theoretical Computer Science. An EATCS Series.

[34]  Luca Chittaro,et al.  Hierarchical model-based diagnosis based on structural abstraction , 2004, Artif. Intell..