Reliability Analysis of Multi-State Networks Using Multi-State Binary Decision Diagrams

Real-world computer and communication networks such as transportation network, power distribution network, logistics systems, mobile applications etc. are integrated with multi-state components, which are capable of working on various performance levels with multiple probabilities. Such systems are regarded as multi-state flow networks (MFN). This paper presents an efficient method for reliability evaluation of multi-state flow networks using multi-state binary decision diagrams (MBDD). The proposed approach is a three step process. Firstly, multi-state components are encoded into boolean variables and expression to generate a series of multi-state fault trees (MFT). Then using depth-first traversal of fault tree, multi-state binary decision diagram is constructed in bottom up manner. Finally, Sum-of-Disjoint Product approach is used to evaluate the MBDD. Experimental results show that the proposed approach consumes less memory and fewer iterations as compared to other existing decomposition algorithms.

[1]  L. Caldarola.  Coherent systems with multistate components , 1980 .

[2]  Chin-Chia Jane,et al.  A Practical Algorithm for Computing Multi-State Two-Terminal Reliability , 2008, IEEE Transactions on Reliability.

[3]  Kishor S. Trivedi,et al.  A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components , 2003, IEEE Trans. Computers.

[4]  Zhen Wang,et al.  H∞ Synchronization of Semi-Markovian Jump Neural Networks with Randomly Occurring Time-Varying Delays , 2018, Complex..

[5]  Liao Zhang,et al.  A BDD-Based Analysis Method for Probabilistic Competing Failures of Multi-State Sensor Array System , 2019, 2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE).

[6]  S. Satitsatian,et al.  An algorithm for lower reliability bounds of multistate two-terminal networks , 2006, IEEE Transactions on Reliability.

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

[8]  Kenneth J. Supowit,et al.  Finding the Optimal Variable Ordering for Binary Decision Diagrams , 1987, 24th ACM/IEEE Design Automation Conference.

[9]  Xiu-Zhen Xu,et al.  Performance Assessment of a Freight Network with Stochastic Capacities , 2018, Complex..

[10]  Yi-Kuei Lin.  Calculation of minimal capacity vectors through k minimal paths under budget and time constraints , 2010, Eur. J. Oper. Res..

[11]  Ziyou Gao,et al.  Evaluating the reliability of a stochastic distribution network in terms of minimal cuts , 2017 .

[12]  Yi-Kuei Lin,et al.  An efficient searching method for minimal path vectors in multi-state networks , 2019, Ann. Oper. Res..

[13]  Xiu-Zhen Xu,et al.  Efficient Enumeration of d-Minimal Paths in Reliability Evaluation of Multistate Networks , 2019, Complex..

[14]  Wei-Chang Yeh.  An Improved Sum-of-Disjoint-Products Technique for Symbolic Multi-State Flow Network Reliability , 2015, IEEE Transactions on Reliability.

[15]  Roberta Terruggia,et al.  Reliability and quality of service in weighted probabilistic networks using Algebraic Decision Diagrams , 2009, 2009 Annual Reliability and Maintainability Symposium.

[16]  Wei-Chang Yeh.  Evaluation of the one-to-all-target-subsets reliability of a novel deterioration-effect acyclic multi-state information network , 2017, Reliab. Eng. Syst. Saf..

[17]  Wei-Chang Yeh.  A Fast Algorithm for Searching All Multi-State Minimal Cuts , 2008, IEEE Transactions on Reliability.

[18]  David W. Coit,et al.  A Monte-Carlo simulation approach for approximating multi-state two-terminal reliability , 2005, Reliab. Eng. Syst. Saf..

[19]  Yi-Kuei Lin,et al.  Reliability assessment of a multistate freight network for perishable merchandise with multiple suppliers and buyers , 2017, Int. J. Syst. Sci..

[21]  Luca Podofillini,et al.  Monte Carlo simulation analysis of the effects of different system performance levels on the importance of multi-state components , 2003, Reliab. Eng. Syst. Saf..

[22]  Yi-Kuei Lin,et al.  On a multicommodity stochastic-flow network with unreliable nodes subject to budget constraint , 2007, Eur. J. Oper. Res..

[23]  Yi-Kuei Lin,et al.  Maximal network reliability for a stochastic power transmission network , 2011, Reliab. Eng. Syst. Saf..

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

[25]  Gregory Levitin,et al.  A universal generating function approach for the analysis of multi-state systems with dependent elements , 2004, Reliab. Eng. Syst. Saf..

[26]  David W. Coit,et al.  Game-theoretic models for electric distribution resiliency/reliability from a multiple stakeholder perspective , 2017 .

[27]  Francesco Corsi,et al.  Multistate Markov Models and Structural Properties of the Transition-Rate Matrix , 1986, IEEE Transactions on Reliability.

[28]  Roberta Terruggia,et al.  QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams , 2010, SAFECOMP.

[29]  Kishor S. Trivedi,et al.  A BDD Approach to Dependability Analysis of Distributed Computer Systems with Imperfect Coverage , 2000 .