Reliability and Diagnostics of Modular Systems: a New Probabilistic Approach
暂无分享,去创建一个
[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..