A novel decision diagrams extension method

Reliability Engineering and System Safety

Volumn 126, Issue , 2014, Pages 107-115

  Li, Shumin ^a   Si, Shubin ^a   Dui, Hongyan ^a   Cai, Zhiqiang ^a   Sun, Shudong ^a  

^a NORTHWESTERN POLYTECHNICAL UNIVERSITY   (China)

Author keywords

Binary decision diagram; Decision diagrams extension method; Multi state multi valued decision diagram

Indexed keywords

BOOLEAN FUNCTIONS; DECISION THEORY;

BINARY DECISION DIAGRAMS (BDD); COMPUTATIONALLY EFFICIENT; DIRECTED ACYCLIC GRAPH (DAG); EXTENSION METHODS; GRAPH-BASED REPRESENTATIONS; MULTI-VALUED DECISION DIAGRAMS; RELIABILITY SYSTEMS; SYMBOLIC REPRESENTATION;

BINARY DECISION DIAGRAMS;

EID: 84894061670     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2014.01.017     Document Type: Article

References (32)

1. Dugan JB, Doyle SA. New results in fault-tree analysis. In: Proceedings of the annual reliability and maintainability symposium; 1996. p. 1-23.
2. M Rausand, and A. Høyland System reliability theory: models, statistical methods, and applications 2004 John Wiley & Sons New York
3. A. Rauzy New algorithms for fault trees analysis Reliab Eng Sys Saf 40 3 1993 203 211
4. C.Y. Lee Representation of switching circuits by binary-decision programs Bell Syst Tech J 38 1959 985 999
5. R.T. Boute The binary decision machine as programmable controller Euromicro Newslett 2 1 1976 16 22
6. S.B. Akers Binary decision diagrams IEEE Trans Comput 100 6 1978 509 516
7. RE. Bryant Graph-based algorithms for boolean function manipulation IEEE Trans Comput 100 8 1986 677 691
8. Y.S. Way, and D.Y. Hsia A simple component-connection method for building binary decision diagrams encoding a fault tree Reliability Eng Sys Saf 70 1 2000 59 70
9. R.M. Sinnamon, and J.D. Andrews New approaches to evaluating fault trees Reliab Eng Syst Saf 58 2 1997 89 96 (Pubitemid 127396517)
10. L.M. Bartlett, and J.D. Andrews An ordering heuristic to develop the binary decision diagram based on structural importance Reliab Eng Syst Saf 72 1 2001 31 38 (Pubitemid 32263116)
11. W.S. Jung, S.H. Han, and J. Ha A fast BDD algorithm for large coherent fault trees analysis Reliab Eng Syst Saf 83 3 2004 369 374
12. R. Remenyte-Prescott, and J.D. Andrews An enhanced component connection method for conversion of fault trees to binary decision diagrams Reliab Eng Syst Saf 93 10 2008 1543 1550 (Pubitemid 351657681)
13. C. Ibánez-Llano, A. Rauzy, E. Meléndez, and F. Nieto A reduction approach to improve the quantification of linked fault trees through binary decision diagrams Reliab Eng Syst Saf 95 12 2010 1314 1323
14. L. Xing, and G. Levitin BDD-based reliability evaluation of phased-mission systems with internal/external common-cause failures Reliab Eng Syst Saf 112 4 2013 145 153
15. X. Zang, N. Sun, and K.S.A. Trivedi BDD-based algorithm for reliability analysis of phased-mission systems IEEE Trans Reliab 48 1 1999 50 60
16. Xing L. Dependability modeling and analysis of hierarchical computer-based systems [PhD dissertation]. Deptement of Electrical and Computer Engineering, University of Virginia; May 2002.
17. Zang X, Sun H, Trivedi KS. Dependability analysis of distributed computer systems with imperfect coverage. In: Proceedings of the 29th annual international symposium on fault-tolerant computing; 1999. p. 330-7.
18. Xing L, Dugan JB. Generalized imperfect coverage phased-mission analysis. In: Proceedings of the Annual reliability and maintainability symposium; 2002. p. 112-9. (Pubitemid 34236524)
19. Miller DM. Multiple-valued logic design tools. In: Proceedings of the 23rd International symposium on multiple-valued logic; 1993. p. 2-11. (Pubitemid 23697839)
20. Miller DM, Drechsler R. Implementing a multiple-valued decision diagram package. In: Proceedings of the 28th IEEE international symposium on multiple-valued logic; 1998. p. 52-7.
21. G Ciardo, G Lüttgen, and R. Siminiceanu Saturation: an efficient iteration strategy for symbolic state - space generation 2001 Springer Berlin Heidelberg
22. Miner AS, Cheng S. Improving efficiency of implicit Markov chain state classification. In: Proceedings of the first international conference on the quantitative evaluation of systems; 2004. p. 262-71. (Pubitemid 40456782)
23. G. Ciardo Reachability set generation for Petri nets: can brute force be smart? Applications and theory of petri nets 2004 2004 Springer Berlin Heidelberg 17 34
24. A.S. Miner, and G. Ciardo Efficient reachability set generation and storage using decision diagrams Application and Theory of Petri Nets 1999 1999 Springer Berlin Heidelberg 6 25
25. M. Chechik, A. Gurfinkel, B. Devereux, A. Lai, and S. Easterbrook Data structures for symbolic multi-valued model-checking Formal Methods Syst Des 29 3 2006 295 344 (Pubitemid 44663427)
26. Xing L, Dugan JB. Dependability analysis using multiple-valued decision diagrams. In: Proceedings of the 6th international conference on probabilistic safety assessment and management; 2002.
27. L. Xing, and J.B. Dugan A separable ternary decision diagram based analysis of generalized phased-mission reliability IEEE Trans Reliab 53 2 2004 174 184
28. L. Xing, and Y. Dai A new decision-diagram-based method for efficient analysis on multistate systems IEEE Trans Dependable Secur Comput 6 3 2009 161 174
29. X. Zang, D. Wang, H. Sun, and K.S. Trivedi A BDD-based algorithm for analysis of multistate systems with multistate components IEEE Trans Comput 52 12 2003 1608 1618
30. A. Shrestha, L. Xing, and D.W. Coit An efficient multistate multivalued decision diagram-based approach for multistate system sensitivity analysis IEEE Trans Reliab 59 3 2010 581 592
31. Shrestha A, Xing L, Coit DW. Multi-state component importance analysis using multi-state multi-valued decision diagrams. In: Proceedings of the 8th international conference on reliability, maintainability and safety; 2009. p. 99-103.
32. A. Shrestha, L. Xing, and Y. Dai Decision diagram based methods and complexity analysis for multi-state systems IEEE Trans Reliab 59 1 2010 145 161