.png){kind=icon}
返回
Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems
.png){kind=icon}
PRE
AI
DOI：10.1109/TR.2009.2034946.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Decision diagrams are graphical structures based on Shannon's decomposition. They have been extensively used for representing and manipulating logic functions in areas such as circuit verification, compact Markov chain representation, and symbolic model checking. However, their applicability in reliability modeling and analysis has only been recently studied. Moreover, the study had been mostly restricted to binary-state systems in which both the system and its components are either operational, or failed. Nevertheless, many practical systems are multi-state systems (MSS) in which both the system and its components may reside at multiple (more than two) performance levels (or states), varying from perfect operation to complete failure. This paper presents three forms of decision diagrams for the modeling and analysis of MSS: binary decision diagrams, logarithmically encoded binary decision diagrams, and multi-valued decision diagrams. We present both separated, and shared methods based on these decision diagrams. Comprehensive complexity analysis, and performance comparisons among these methods, are conducted with both mathematical, and empirical approaches.
Keyword:
Binary decision diagram
complexity analysis
logarithmically-encoded binary decision diagram
multi-state system
multi-valued decision diagram
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.7
论文数:
2.8K
被引数:
8.5K
机构
引用论文
.png){kind=icon}
分享收藏
查看更多内容