OBDD-based evaluation of k-terminal network reliability

IEEE Transactions on Reliability

Volumn 51, Issue 4, 2002, Pages 443-451

  Yeh, Fu Min ^b   Lu, Shyue Kung ^c   Kuo, Sy Yen ^a,d  

^a IEEE   (Taiwan)

^b CHUNG SHAN INSTITUTE OF SCIENCE AND TECHNOLOGY   (Taiwan)

^c FU JEN CATHOLIC UNIVERSITY   (Taiwan)

^d NATIONAL TAIWAN UNIVERSITY   (Taiwan)

Author keywords

Factoring; Network reduction; Network reliability; Ordered Binary Decision Diagram (OBDD); Terminal pair reliability

Indexed keywords

FACTORING; NETWORK REDUCTION; NETWORK RELIABILITY; ORDERED BINARY DECISION DIAGRAM; TERMINAL-PAIR RELIABILITY;

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; DECISION THEORY; GRAPH THEORY; PROBABILITY;

RELIABILITY;

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

References (12)

1. M. O. Ball, "Computational complexity of network reliability analysis: An overview," IEEE Trans. Reliability, vol. R-35, pp. 230-239, Aug. (1986).
2. L. B. Page and J. E. Perry, "A practical implementation of the factoring theorem for network reliability," IEEE Trans. Reliability, vol. 37, pp. 259-267, Aug. 1988.
3. ____, "Reliability of directed networks using the factoring theorem," IEEE Trans. Reliability, vol. 38, pp. 556-562, Dec. 1989.
4. R. K. Wood, "Factoring algorithms for computing K-terminal network," IEEE Trans. Reliability, vol. R-35, pp. 269-278, Aug. 1986.
5. O. R. Theologous and J. G. Carlier, "Factoring & reductions for networks with imperfect vertices," IEEE Trans. Reliability, vol. 40, pp. 210-217, Apr. 1991.
6. S. Y. Kuo, S. K. Lu, and F. M. Yeh, "Determining terminal-pair reliability based on edge expansion diagrams using OBDD," IEEE Trans. Reliability, vol. 48, no. 3, pp. 234-246, Sept. 1999.
7. R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. Computers, vol. C-35, no. 8, pp. 677-691, Aug. 1986.
8. K. C. Brace, R. L. Rudell, and R. E. Bryant. "Efficient implementation of an OBDD package," in Proc. 27th Design Automation Conf., 1990, pp. 40-45.
9. R. Kruse, B. Leung, and C. L. Tondo, Data Structures and Program Design in C, 2nd ed: Prentice-Hall, 1996.
10. F. M. Yeh, and S. Y. Kuo, "OBDD-based network reliability calculation," Electronics Letters, vol. 33 no. 9 pp. 759-760, Sept. 1997.
11. J. A. Buzacott, "A recursive algorithm for finding reliability measures related to the connect of nodes in a graph," Networks, vol. 10, pp. 311-327, 1980.
12. S. J. Friedman and K. J. Supowit, "Finding optimal variable ordering for binary decision diagrams," IEEE Trans. Computers, vol. 39, no. 5, pp. 710-713, May 1990.