Decision diagram based methods and complexity analysis for multi-state systems

IEEE Transactions on Reliability

Volumn 59, Issue 1, 2010, Pages 145-161

  Shrestha, Akhilesh ^a   Xing, Liudong ^b,c   Dai, Yuanshun ^c,d  

^a ARCON CORPORATION   (United States)

^b Department of Electrical and Computer Engineering   (United States)

^c UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA   (China)

^d University of Tennessee Knoxville   (United States)

Author keywords

Binary decision diagram; Complexity analysis; Logarithmically encoded binary decision diagram; Multi state system; Multi valued decision diagram

Indexed keywords

CIRCUIT VERIFICATION; COMPLEXITY ANALYSIS; DECISION DIAGRAM; EMPIRICAL APPROACH; GRAPHICAL STRUCTURES; LOGIC FUNCTIONS; MARKOV CHAIN; MODELING AND ANALYSIS; MULTI-STATE SYSTEM; MULTI-VALUED DECISION DIAGRAMS; PERFORMANCE COMPARISON; PERFORMANCE LEVEL; PRACTICAL SYSTEMS; RELIABILITY MODELING; SYMBOLIC MODEL CHECKING;

DECISION THEORY; GRAPHIC METHODS; MARKOV PROCESSES; MODEL CHECKING; RELIABILITY ANALYSIS; VERY LONG INSTRUCTION WORD ARCHITECTURE;

BINARY DECISION DIAGRAMS;

EID: 77949272752     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2009.2034946     Document Type: Article

References (41)

1. S. B. Akers, "Binary decision diagrams," IEEE Trans. Computers, vol. c-27, no. 6, pp. 509-516, Jun. 1978.
2. R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. Computers, vol. C-35, no. 8, pp. 677-691, Aug. 1986.
3. R. E. Bryant, "Binary decision diagrams and beyond: Enabling technologies for formal verification," in Proceedings of the International Conference on Computer-Aided Design (ICCAD'95), Nov. 1995, pp. 236-243.
4. H. Hermanns, J. Meyer-Kayser, and M. Siegle, "Multi-terminal binary decision diagrams to represent and analyse continuous-time Markov chains," in Proceedings of the 3rd International Workshop on the Numerical Solution of Markov Chains, W. J. S. B. Plateau and M. Silva, Eds., 1999, pp. 188-207.
5. A. S. Miner and G. Ciardo, "Efficient reachability set generation and storage using decision diagrams," in Application & Theory of Petri Nets, H. Kleijn and S. Donatelli, Eds.:, 1999, pp. 6-25.
6. A. Rauzy, "New algorithms for fault tree analysis," Reliability Engineering & System Safety, vol. 40, pp. 203-211, 1993.
7. J. Huang and M. Zuo, "Dominant multi-state systems," IEEE Trans. Reliability, vol. 53, no. 3, pp. 362-368, Sep. 2004.
8. L. Xing and Y. Dai, "A new decision diagram based method for efficient analysis on multi-state systems," IEEE Trans. Dependable & Secure Computing, vol. 6, no. 3, pp. 161-174, Jul.-Sep. 2009.
9. "Handbook of Performability Engineering," K. B. Misra, Ed., Springer-Verlag, London, Oct. 2008, 978-1-84800-130-5.
10. A. Lisnianski and G. Levitin, Multi-State System Reliability.: World Scientific, 2003.
11. X. Zang, D. Wang, H. Sun, and K. S. Trivedi, "A BDD-based algorithm for analysis of multistate systems with multistate components," IEEE Trans. Computers, vol. 52, no. 12, pp. 1608-1618, Dec. 2003.
12. G. Cafaro, F. Corsi, and F. Vacca, "Multistate Markov models and structural properties of the transition rate matrix," IEEE Trans. Reliability, vol. R-35, no. 2, pp. 192-200, Jun. 1986.
13. N. Limnios and G. Oprisan, Semi-Markov Processes and Reliability. Boston/Berlin: Birkhauser, 2001.
14. E. Zio and L. Podofillini, "Monte-Carlo simulation analysis of the effects on different system performance levels on the importance on multi-state components," Reliability Engineering & System Safety, vol. 82, pp. 63-73, 2003.
15. J. E. Ramirez-Marquez and D. W. Coit, "A Monte-Carlo simulation approach for approximating multistate two-terminal reliability," Reliability Engineering & System Safety, vol. 87, no. 2, pp. 253-264, Feb. 2005.
16. J. E. Ramirez-Marquez, D. W. Coit, and M. Tortorella, "A generalized multistate-based path vector approach for multistate two-terminal reliability," IIE Trans., vol. 38, no. 6, pp. 477-488, Jul. 2006.
17. Y. K. Lin, "A simple algorithm for reliability evaluation of a stochastic-flow network with node failure," Computers & Operations Research, vol. 28, no. 13, pp. 1277-1285, Nov. 2001.
18. W. C. Yeh, "A simple MC-based algorithm for evaluating reliability of a stochastic-flow network with unreliable nodes," Reliability Engineering & System Safety, vol. 83, no. 1, pp. 47-55, Jan. 2004.
19. Y. K. Lin, "Using minimal cuts to evaluate the system reliability of a stochastic-flow network with failures at nodes and arcs," Reliability Engineering & System Safety, vol. 75, no. 1, pp. 41-46, Jan. 2002.
20. C. M. Rocco and M. Muselli, "Approximate multi-state reliability expressions using a new machine learning technique," Reliability Engineering & System Safety, vol. 89, no. 3, pp. 261-270, Sep. 2005.
21. Z. Zhou, G. Jin, D. Dong, and J. Zhou, "Reliability analysis of multistate systems based on Bayesian networks," in Proceedings of the 13th Annual IEEE International Symposium & Workshop on Engineering of Computer Based Systems (ECBS'06), Mar. 2006, pp. 344-352.
22. G. Levitin, A. Lisnianski, H. Ben-Haim, and D. Elmakis, "Redundancy optimization for series-parallel multi-state systems," IEEE Trans. Reliability, vol. 47, no. 2, pp. 165-172, Jun. 1998.
23. G. Levitin, L. Podofillini, and E. Zio, "Generalised importance measures for multi-state elements based on performance level restrictions," Reliability Engineering & System Safety, vol. 82, no. 3, pp. 287-298, Dec. 2003.
24. G. Levitin, "A universal generating function approach for the analysis of multi-state systems with dependent elements," Reliability Engineering & System Safety, vol. 84, no. 3, pp. 285-292, Jun. 2004.
25. A. Lisnianski, "Extended block diagram method for a multi-state system reliability assessment," Reliability Engineering & System Safety, vol. 92, no. 12, pp. 1601-1607, Dec. 2007, Special Issue on ESREL 2005.
26. L. Caldarola, "Coherent systems with multistate components," Nuclear Engineering & Design, vol. 58, pp. 127-139, 1980.
27. F. P. E. El-Neweihi and J. Sethuraman, "Multistate coherent systems," Journal Applied Probability, vol. 15, pp. 675-688, 1978.
28. W. S. Griffith, "Multistate reliability models," Journal Applied Probability, vol. 17, pp. 735-744, 1980.
29. R. Gulati and J. B. Dugan, "A modular approach for analyzing static and dynamic fault trees," in Proceedings of the Annual Reliability & Maintainability Symposium, Jan. 13-16, 1997, pp. 57-63.
30. A. Shrestha and L. Xing, "A logarithmic binary decision diagrams-based method for multistate systems analysis," IEEE Trans. Reliability, vol. 57, no. 4, pp. 595-606, Dec. 2008.
31. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2nd ed.: The MIT Press, 2001.
32. A. Shrestha, L. Xing, and Y. Dai, "MBDD versus MMDD for multistate systems analysis," in Proceedings of the 3rd IEEE International Symposium on Dependable, Autonomic & Secure Computing (DASC 2007), Sep. 25-26, 2007, pp. 172-180.
33. H. T. Liaw and C. S. Lin, "On the OBDD-representation of general Boolean functions," IEEE Trans. Computers, vol. 41, no. 6, pp. 661-664, Jun. 1992.
34. S. Yang, Logic synthesis and optimization benchmarks user guide version 3.0, Jan. 1991 [Online]. Available: http://citeseer.ist.psu.edu/yang91logic. html, Technical Report, Microelectronics Center of North Carolina (MCNC), Available at:, Last Accessed: Nov 9, 2007
35. D. M. Miller and R. Drechsler, "Implementing a multiple-valued decision diagram package," in Proceedings of the 28th Intlernational Symposium on Multiple-Valued Logic, May 27-29, 1998, pp. 52-57.
36. A. Shrestha, L. Xing, and Y. Dai, "Reliability analysis of multi-state phased-mission systems," in Proceedings of The 55th Annual Reliability & Maintainability Symposium, Fort Worth, TX, Jan. 2009.
37. A. Shrestha, L. Xing, and D. W. Coit, "Multistate component importance analysis using multistate multivalued decision diagrams," in Proceedings of the 8th International Conference on Reliability, Maintainability & Safety, Chengdu, China, Jul. 2009, pp. 99-103.
38. J. E. Ramirez-Marquez and D. W. Coit, "Composite importance measures for multi-state systems with multi-state components," IEEE Trans. Reliability, vol. 54, no. 3, pp. 517-529, Sep. 2005.
39. A. Shrestha and L. Xing, "Quantifying application communication reliability of wireless sensor networks," International Journal of Performability Engineering, vol. 4, no. 1, pp. 43-56, Jan. 2008.
40. L. Xing, H. Li, and H. E. Michel, "Fault-tolerance and reliability analysis for wireless sensor networks," International Journal of Performability Engineering, vol. 5, no. 5, pp. 419-431, Oct. 2009.
41. M. Chechik, A. Gurfinkel, B. Devereux, A. Lai, and S. Easterbrook, "Data structures for symbolic multi-valued model-checking," Formal Methods in System Design, vol. 29, no. 3, pp. 295-344, Nov. 2006.