Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
7195756 | Reliability Engineering & System Safety | 2014 | 9 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Engineering
Mechanical Engineering
Authors
Shumin Li, Shubin Si, Hongyan Dui, Zhiqiang Cai, Shudong Sun,