Issue No.12 - December (2003 vol.52)
Hairong Sun , IEEE
Kishor S. Trivedi , IEEE
<p><b>Abstract</b>—In this paper, a new algorithm based on Binary Decision Diagram (BDD) for the analysis of a system with multistate components is proposed. Each state of a multistate component is represented by a Boolean variable, and a multistate system is represented by a series of multistate fault trees. A Boolean algebra with restrictions on variables is used to address the dependence among these Boolean variables that collectively represent the same component and a new BDD operation is proposed to realize this Boolean algebra. Due to the nature of the BDD, the sum of disjoint products (SDP) can be implicitly represented, which avoids huge storage and high computational complexity for large multistate systems. Some applications are given to illustrate the use of our new algorithm.</p>
Binary Decision Diagram (BDD), blocking probability, multistate component, multistate fault tree, multistate system.
Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi, "A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components", IEEE Transactions on Computers, vol.52, no. 12, pp. 1608-1618, December 2003, doi:10.1109/TC.2003.1252856