MBDD versus MMDD for multistate systems analysis

Proceedings - DASC 2007: Third IEEE International Symposium on Dependable, Autonomic and Secure Computing

Volumn , Issue , 2007, Pages 172-180

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

^a University of Massachusetts Dartmouth   (United States)

^b University of Tennessee   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; DECISION THEORY; RELIABILITY ANALYSIS;

COMBINATORIAL DECISION DIAGRAM; MULTISTATE BINARY DECISION DIAGRAMS (MBDD); MULTIVALUED DECISION DIAGRAMS (MMDD); RELIABILITY MODELS;

SYSTEMS ANALYSIS;

EID: 38049063633     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISDASC.2007.4351402     Document Type: Conference Paper

References (25)

1. J. Huang and M. Zuo, "Dominant multi-state systems," IEEE Transactions on Reliability, vol. 53, no. 3, pp. 362-368, Sept. 2004.
2. S. K. Y. Chang, S. V. Amari, "OBDD-based evaluation of reliability and importance measures for multistate systems subject to imperfect fault coverage," IEEE Transactions on Dependable and Secure Computing, vol. 2, pp. 336-347, Oct.-Dec. 2005.
3. G. Levitin, "Reliability of multi-state systems with two failure-modes," IEEE Transactions on Reliability, vol. 52, no. 3, pp. 340-348, Sept. 2003.
4. W. Li and H. Pham, "Reliability modeling of multi-state degraded systems with multi-competing failures and random shocks," IEEE Transactions on Reliability, vol. 54, no. 2, pp. 297-303, June 2005.
5. X. Zang, D. Wang, H. Sun, and K. S. Trivedi, "A BDDbased algorithm for analysis of multistate systems with multistate components," IEEE Transactions on Computers, vol. 52, no. 12, pp. 1608-1618, Dec. 2003.
6. G. Cafaro, F. Corsi, F. Vacca, "Multistate Markov models and structural properties of the transition rate matrix," IEEE Transactions on Reliability, vol. R-35, pp. 192-200, June 1986.
7. A. Lisnianski, "The Markov Reward Model for a MultiState System Reliability Assessment with Variable Demand," Quality Technology & Quantitative Management, vol. 4, no. 2, pp. 265-278, 2007.
8. L. Caldarola, "Coherent systems with multistate components," Nuclear Engineering and Design, vol. 58, pp. 127-139, 1980.
9. M. Veeraraghavan and K. S. Trivedi, "Combinatorial algorithm for performance and reliability analysis using multistate models," IEEE Transactions Computers, vol. 43, no. 2, pp. 229-234, Feb. 1994.
10. A. P. Wood, "Multistate block diagrams and fault trees," IEEE Transactions Reliability, vol. 34, pp. 236-240, 1985.
11. J. Xue, "On multistate system analysis," IEEE Transactions on Reliability, vol. R-34, pp. 329-337, Oct. 1985.
12. J. Xue and K. Yang, "Dynamic Reliability Analysis of Coherent Multistate Systems," IEEE Transactions on Reliability, vol. 44, no. 4, pp. 683-688, Dec. 1995.
13. R. Bryant, "Graph based algorithms for Boolean function manipulation," IEEE Transactions on Computers, vol. C-35, no. 8, pp. 677-691, Aug. 1986.
14. J. B. Dugan and S. A. Doyle, "New results in fault-tree analysis," Tutorial notes of the Annual Reliability and Maintainability Symposium, Jan. 1996.
15. A. Rauzy, "New algorithms for fault tree analysis," Reliability Engineering and System Safety, vol. 40, pp. 203-211, 1993.
16. th Intl. Symp. on Multiple-Valued Logic, 1998.
17. L. Xing and J. B. Dugan, "Dependability analysis using multiple-valued decision diagrams," In Proc. of the 6th Intl. Conf. on Probabilistic Safety Assessment and Management (PSAM), San Juan, Puerto Rico, June 2002.
18. L. Xing. "Efficient Analysis of Systems with Multiple States," In Proc. of the IEEE 21" Intl. Conf. on Advanced Information Networking and Applications, Niagara Falls, Canada, May 2007.
19. R. E. Barlow and A. S. Wu, "Coherent systems with multi-state components," Mathematics Operations Research, vol. 3, no. 4, pp. 275-281, 1978.
20. F. P. E. El-Neweihi and J. Sethuraman, "Multistate coherent systems," Journal Applied Probability, vol. 15, pp. 675-688, 1978.
21. W. S. Griffith, "Multistate reliability models," Journal Applied Probability, vol. 17, pp. 735-744, 1980.
22. S. M. Ross, "Multivalued state component systems," Annals of Probability, vol. 7, no. 2, pp. 379-383, 1979.
23. H.-T. Liaw and C.-S. Lin, "On the OBDD-representation of general Boolean functions," IEEE Transaction on Computers, vol. 41, no. 6, pp. 661-664, June 1992.
24. 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.
25. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms (2nd Edition). The MIT Press, 2001.