Scholars@Duke

A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components

Publication ,  Journal Article
Zang, X; Wang, D; Sun, H; Trivedi, KS
Published in: IEEE Transactions on Computers
December 1, 2003
Published version (DOI)

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.

Duke Scholars

Kishor S. Trivedi
Author Kishor S. Trivedi Electrical and Computer Engineering

Published In

IEEE Transactions on Computers

DOI

10.1109/TC.2003.1252856

ISSN

0018-9340

Publication Date

December 1, 2003

Volume

52

Issue

12

Start / End Page

1608 / 1618

Related Subject Headings

  • Computer Hardware & Architecture
  • 4606 Distributed computing and systems software
  • 4009 Electronics, sensors and digital hardware
  • 1006 Computer Hardware
  • 0805 Distributed Computing
  • 0803 Computer Software
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Zang, X., Wang, D., Sun, H., & Trivedi, K. S. (2003). A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components. IEEE Transactions on Computers, 52(12), 1608–1618. https://doi.org/10.1109/TC.2003.1252856
Zang, X., D. Wang, H. Sun, and K. S. Trivedi. “A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.” IEEE Transactions on Computers 52, no. 12 (December 1, 2003): 1608–18. https://doi.org/10.1109/TC.2003.1252856.
Zang X, Wang D, Sun H, Trivedi KS. A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components. IEEE Transactions on Computers. 2003 Dec 1;52(12):1608–18.
Zang, X., et al. “A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.” IEEE Transactions on Computers, vol. 52, no. 12, Dec. 2003, pp. 1608–18. Scopus, doi:10.1109/TC.2003.1252856.
Zang X, Wang D, Sun H, Trivedi KS. A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components. IEEE Transactions on Computers. 2003 Dec 1;52(12):1608–1618.

Published In

IEEE Transactions on Computers

DOI

10.1109/TC.2003.1252856

ISSN

0018-9340

Publication Date

December 1, 2003

Volume

52

Issue

12

Start / End Page

1608 / 1618

Related Subject Headings

  • Computer Hardware & Architecture
  • 4606 Distributed computing and systems software
  • 4009 Electronics, sensors and digital hardware
  • 1006 Computer Hardware
  • 0805 Distributed Computing
  • 0803 Computer Software