A novel decision diagrams extension method.

Shumin Li,Shubin Si,Hongyan Dui,Zhiqiang Cai,Shudong Sun
DOI: https://doi.org/10.1016/j.ress.2014.01.017
IF: 7.247
2014-01-01
Reliability Engineering & System Safety
Abstract:Binary decision diagram (BDD) is a graph-based representation of Boolean functions. It is a directed acyclic graph (DAG) based on Shannon׳s decomposition. Multi-state multi-valued decision diagram (MMDD) is a natural extension of BDD for the symbolic representation and manipulation of the multi-valued logic functions. This paper proposes a decision diagram extension method based on original BDD/MMDD while the scale of a reliability system is extended. Following a discussion of decomposition and physical meaning of BDD and MMDD, the modeling method of BDD/MMDD based on original BDD/MMDD is introduced. Three case studies are implemented to demonstrate the presented methods. Compared with traditional BDD and MMDD generation methods, the decision diagrams extension method is more computationally efficient as shown through the running time.
What problem does this paper attempt to address?