A BDD-based algorithm for reliability analysis of phased-mission systems - Xinyu Zang; Nairong Sun; Trivedi, K.S. (IEEE transactions on reliability, 1999)
Keywords: Aircraft; Algebra; Algorithm design and analysis; Algorithms; Applied sciences; Binary decision diagrams; Binary systems; Boolean functions; Cancellation; Computation; Data structures; Decision analysis; Exact sciences and technology; Fault trees; Lapping; Operational research and scientific management; Operational research. Management science; Reliability analysis; Reliability theory. Replacement problems; Sun; Transient analysis; Multiphase system; Binary decision diagram; System reliability; Fault tree; Algorithm