A novel decision diagrams extension method

作者：Li, Shumin; Si, Shubin^*; Dui, Hongyan; Cai, Zhiqiang; Sun, Shudong

来源：Reliability Engineering & System Safety, 2014, 126: 107-115.

DOI：10.1016/j.ress.2014.01.017

• Binary decision diagram
• Multi-state multi-valued decision diagram
• Decision diagrams extension method

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.

• 出版日期2014-6
• 单位西北工业大学