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

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