Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams.
Daochuan GeMeng LinYanhua YangRuoxing ZhangQiang ChouPublished in: Reliab. Eng. Syst. Saf. (2015)
Keyphrases
- quantitative analysis
- binary decision diagrams
- qualitative analysis
- qualitative evaluation
- qualitative and quantitative analysis
- decision trees
- dynamic environments
- data sets
- symbolic model checking
- fault detection
- content analysis
- boolean functions
- quantitative evaluation
- tree structure
- fault diagnosis
- expert systems
- search algorithm
- databases
- database