An ordering heuristic for building binary decision diagrams from fault-trees

2002 ◽  
Author(s):  
M. Bouissou
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Fault Trees

A reduction approach to improve the quantification of linked fault trees through binary decision diagrams

2010 ◽  
Vol 95 (12) ◽  
pp. 1314-1323 ◽  
Author(s):  
Cristina Ibáñez-Llano ◽  
Antoine Rauzy ◽  
Enrique Meléndez ◽  
Francisco Nieto
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Fault Trees ◽  
Reduction Approach

Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams

2015 ◽  
Vol 142 ◽  
pp. 289-299 ◽  
Author(s):  
Daochuan Ge ◽  
Meng Lin ◽  
Yanhua Yang ◽  
Ruoxing Zhang ◽  
Qiang Chou
Keyword(s):  
Quantitative Analysis ◽  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Fault Trees
Sign in / Sign up

Export Citation Format

Share Document