An efficient algorithm for computing exact system and survival signatures of K-terminal network reliability

Abstract An efficient algorithm is presented for computing exact system and survival signatures of K-terminal reliability in undirected networks with unreliable edges. K-terminal reliability is defined as the probability that a subset K of the network nodes can communicate with each other. Signatures have several advantages over direct reliability calculation such as enabling certain stochastic comparisons of reliability between competing network topology designs, extremely fast repeat computation of network reliability for different edge reliabilities and computation of network reliability when failures of edges are exchangeable but not independent. Existing methods for computation of signatures for K-terminal network reliability require derivation of cut-sets or path-sets which is only feasible for small networks due to the computational expense. The new algorithm utilises binary decision diagrams, boundary set partition sets and simple array operations to efficiently compute signatures through a factorisation of the network edges. The performance and advantages of the algorithm are demonstrated through application to a set of benchmark networks and a sensor network from an underground mine.

[1]  Gerardo Rubino,et al.  Static Network Reliability Estimation via Generalized Splitting , 2013, INFORMS J. Comput..

[2]  Leslie G. Valiant,et al.  The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..

[3]  Fang-Ming Shao,et al.  A practical bounding algorithm for computing two-terminal reliability based on decomposition technique , 2011, Comput. Math. Appl..

[4]  Edoardo Patelli,et al.  Simulation methods for system reliability using the survival signature , 2017, Reliab. Eng. Syst. Saf..

[5]  R. Kevin Wood Factoring Algorithms for Computing K-Terminal Network Reliability , 1986, IEEE Transactions on Reliability.

[6]  Sieteng Soh,et al.  A memory efficient algorithm for network reliability , 2009, 2009 15th Asia-Pacific Conference on Communications.

[7]  Francisco J. Samaniego,et al.  Characterizations of the Relative Behavior of Two Systems via Properties of Their Signature Vectors , 2006 .

[8]  F. Samaniego On Closure of the IFR Class Under Formation of Coherent Systems , 1985, IEEE Transactions on Reliability.

[9]  Francesco Maffioli,et al.  Fishman's sampling plan for computing network reliability , 2001, IEEE Trans. Reliab..

[10]  Charles J. Colbourn,et al.  Lower bounds on two-terminal network reliability , 1988, Discret. Appl. Math..

[11]  Sean Reed,et al.  An efficient algorithm for exact computation of system and survival signatures using binary decision diagrams , 2017, Reliab. Eng. Syst. Saf..

[12]  Jacques Carlier,et al.  A Decomposition Algorithm for Network Reliability Evaluation , 1996, Discret. Appl. Math..

[13]  Nikolaos Limnios,et al.  K-Terminal Network Reliability Measures With Binary Decision Diagrams , 2007, IEEE Transactions on Reliability.

[14]  Xiaoye S. Li,et al.  A Comparison of Three High-Precision Quadrature Schemes , 2003, Exp. Math..

[15]  Nasser Fard,et al.  Cutset enumeration of network systems with link and node failures , 1999 .

[16]  Chin-Chia Jane,et al.  Practical sequential bounds for approximating two-terminal reliability , 2009, Eur. J. Oper. Res..

[17]  Frank P. A. Coolen,et al.  Marginal and joint reliability importance based on survival signature , 2018, Reliab. Eng. Syst. Saf..

[18]  Lavon B. Page,et al.  Reliability of directed networks using the factoring theorem , 1989 .

[19]  F. Samaniego,et al.  On Uniformly Optimal Networks: A Reversal of Fortune? , 2014 .

[20]  Simon P Wilson,et al.  Bayesian Inference for Reliability of Systems and Networks Using the Survival Signature. , 2015, Risk analysis : an official publication of the Society for Risk Analysis.

[21]  J. Scott Provan,et al.  The Complexity of Reliability Computations in Planar and Acyclic Graphs , 1986, SIAM J. Comput..

[22]  Francisco J. Samaniego,et al.  The Signature of a Coherent System and Its Applications in Reliability , 2004 .

[23]  Panos Y. Papalambros,et al.  A Network Reliability Approach to Optimal Decomposition of Design Problems , 1995 .

[24]  Antoine Rauzy,et al.  New algorithms for fault trees analysis , 1993 .

[25]  J. Carlier,et al.  Factoring and reductions for networks with imperfect vertices , 1991 .

[26]  F. Coolen,et al.  Generalizing the signature to systems with multiple types of components , 2013, SOCO 2013.

[27]  Francis D. Gibbons,et al.  Predicting protein complex membership using probabilistic network reliability. , 2004, Genome research.

[28]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[29]  F. Samaniego,et al.  On comparing coherent systems with heterogeneous components , 2016, Advances in Applied Probability.

[30]  Wei-Chang Yeh A simple algorithm to search for all MCs in networks , 2006, Eur. J. Oper. Res..

[31]  Francisco J. Samaniego,et al.  LINKING DOMINATIONS AND SIGNATURES IN NETWORK RELIABILITY THEORY , 2003 .

[32]  Michael O. Ball,et al.  Computational Complexity of Network Reliability Analysis: An Overview , 1986, IEEE Transactions on Reliability.

[33]  Shyue-Kung Lu,et al.  OBDD-based evaluation of k-terminal network reliability , 2002, IEEE Trans. Reliab..

[34]  H. Imai,et al.  Computational Investigations of All-Terminal Network Reliability via BDDs (Special Section on Discrete Mathematics and Its Applications) , 1999 .

[35]  Claude E. Shannon,et al.  A symbolic analysis of relay and switching circuits , 1938, Transactions of the American Institute of Electrical Engineers.