The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (2003 vol.52)
pp: 1608-1618
ABSTRACT
<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>
INDEX TERMS
Binary Decision Diagram (BDD), blocking probability, multistate component, multistate fault tree, multistate system.
CITATION
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
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool