OBDD-based network reliability calculation

Electronics Letters

Volumn 33, Issue 9, 1997, Pages 759-760

  Yeh, Fu Min ^a   Kuo, Sy Yen ^a  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

Author keywords

Reliability theory

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CALCULATIONS; DECISION THEORY; FAILURE ANALYSIS; GRAPH THEORY; HEURISTIC METHODS; PROBABILITY; RECURSIVE FUNCTIONS; RELIABILITY THEORY;

ORDERED BINARY DECISION DIAGRAM; TERMINAL PAIR RELIABILITY;

NETWORKS (CIRCUITS);

EID: 0031123823     PISSN: 00135194     EISSN: None     Source Type: Journal    
DOI: 10.1049/el:19970549     Document Type: Article

References (5)

1. BALL, M.O.: 'Computational complexity of network reliability analysis: an overview', IEEE Trans., 1986, R-35, pp. 230-239
2. THEOLOGOU, O.R., and CARLIER, J.G.: 'Factoring and reduction for networks with imperfect vertices', IEEE Trans. Reliability, 1991, 40, pp. 210-217
3. SOH, S., and RAI, S.: 'Experimental results on preprocessing of path/ cut term in the sum of disjoint products technique', IEEE Trans. Reliability, 1993, 42, pp. 24-33
4. BRYANT, R.E.: 'Graph-based algorithms for Boolean function manipulation', IEEE Trans., 1986, C-35, (8), pp. 677-691
5. YEH, F.-M., and LIN, C.-S.: 'OBDD variable ordering by interleaving compacted clusters', Electron. Lett., 1995, 31, pp. 1724-1725