2003
DOI: 10.1109/tc.2003.1252856
|View full text |Cite
|
Sign up to set email alerts
|

A BDD-based algorithm for analysis of multistate systems with multistate components

Abstract: 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 alg… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
4
0

Year Published

2013
2013
2022
2022

Publication Types

Select...
6
3

Relationship

0
9

Authors

Journals

citations
Cited by 97 publications
(4 citation statements)
references
References 21 publications
0
4
0
Order By: Relevance
“…Another approach for systems with multistate components is provided by Zang et al [160]. This approach represents the overall system by multiple fault trees, each of which is a fault tree for a particular failure state of the overall system.…”
Section: Fault Trees With Dependent Eventsmentioning
confidence: 99%
“…Another approach for systems with multistate components is provided by Zang et al [160]. This approach represents the overall system by multiple fault trees, each of which is a fault tree for a particular failure state of the overall system.…”
Section: Fault Trees With Dependent Eventsmentioning
confidence: 99%
“…When faced with the situation of random node failures, a complete reliability and availability analysis should be performed. However, renown analytical multi-state system reliability evaluation techniques like Binary Decision Diagrams (BDD) [12,13], Sum-of-Disjoint-Products (SDP) [14], and the Universal Generating Function (UGF) [15][16][17] are of very little use to the evaluation of these systems. Their inapplicability is amplified if, nodes can undergo non-Markovian transitions, their restoration can be delayed, the system is reconfigurable or in the case of BDD and SDP, the system is complex, such that state enumeration is infeasible.…”
Section: Accepted Manuscriptmentioning
confidence: 99%
“…Lisnianski [23] employed an extended block diagram method to apply classical block diagram principles to a repairable system. Binary Decision Diagrams (BDD) [24,25] which underlying principles are built upon Boolean algebra have also been applied with success to multi-state system reliability evaluation. They proceed via a state enumeration procedure in which each system state is represented by a multistate fault tree.…”
Section: Current System Reliability Evaluation Techniquesmentioning
confidence: 99%