Binary Decision Diagrams and Extensions for System Reliability Analysis

af Liudong Xing

Recent advances in science and technology have made modern computing and engineering systems more powerful and sophisticated than ever. The increasing complexity and scale imply that system reliability problems not only continue to be a challenge but also require more efficient models and solutions.