Assessment of large automatically generated fault trees by means of binary decision diagrams

2007 ◽  
Vol 221 (2) ◽  
pp. 95-105 ◽  
Author(s):  
A. B. Rauzy ◽  
J Gauthier ◽  
X Leduc
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Fault Trees

Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison

2021 ◽  
Author(s):  
Lisandro A.Jimenez-Roa ◽  
Tom Heskes ◽  
Marielle Stoelinga
Keyword(s):  
Decision Trees ◽  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Fault Trees ◽  
Systematic Comparison

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

scholarly journals Prime implicants for modularised non-coherent fault trees using binary decision diagrams

2007 ◽  
Vol 1 (4) ◽  
pp. 446 ◽  
Author(s):  
Rasa Remenyte Prescott ◽  
John D. Andrews
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Fault Trees ◽  
Prime Implicants

scholarly journals Reliability analysis of dynamic fault trees with spare gates using conditional binary decision diagrams

2020 ◽  
Vol 170 ◽  
pp. 110766
Author(s):  
Siwei Zhou ◽  
Jianwen Xiang ◽  
W. Eric Wong
Keyword(s):  
Reliability Analysis ◽  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Fault Trees

scholarly journals An enhanced component connection method for conversion of fault trees to binary decision diagrams

2008 ◽  
Vol 93 (10) ◽  
pp. 1543-1550 ◽  
Author(s):  
R. Remenyte-Prescott ◽  
J.D. Andrews
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Fault Trees ◽  
Connection Method

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