OBDD-based evaluation of reliability and importance measures for multistate systems subject to imperfect fault coverage - Yung-Ruei Chang; Amari, S.V.; Sy-Yen Kuo (IEEE transactions on dependable and secure computing, 2005)
Keywords: Availability; Boolean; Boolean functions; Data structures; Decision making models; Decomposition; Degradation; Design optimization; Failure; Fault tolerance; Fault tolerant systems; fault-coverage; Fission reactors; importance measure; Index Terms- Reliability; Information systems; Mathematical models; Methods; multistate system; Nuclear power generation; Nuclear power plants; OBDD; Power generation; Power system modeling; Power system reliability; Random variables; Reliability; Statistical analysis; Studies; System theory