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

Rasa Remenyte Prescott; John D. Andrews

doi:10.1504/ijrs.2007.016259

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

International Journal of Reliability and Safety ◽

10.1504/ijrs.2007.016259 ◽

2007 ◽

Vol 1 (4) ◽

pp. 446 ◽

Cited By ~ 1

Author(s):

Rasa Remenyte Prescott ◽

John D. Andrews

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Fault Trees ◽

Prime Implicants

Get full-text (via PubEx)

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

10.3850/978-981-18-2016-8_241-cd ◽

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

Get full-text (via PubEx)

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

Proceedings of 1996 Annual Reliability and Maintainability Symposium ◽

10.1109/rams.1996.500664 ◽

2002 ◽

Cited By ~ 26

Author(s):

M. Bouissou

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Fault Trees

Get full-text (via PubEx)

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

Reliability Engineering & System Safety ◽

10.1016/j.ress.2010.06.008 ◽

2010 ◽

Vol 95 (12) ◽

pp. 1314-1323 ◽

Cited By ~ 11

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

Get full-text (via PubEx)

Qualitative Analysis of Complex Modularized Fault Trees Using Binary Decision Diagrams

Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability ◽

10.1243/1748006xjrr10 ◽

2006 ◽

Vol 220 (1) ◽

pp. 45-53 ◽

Cited By ~ 2

Author(s):

R Remenyte ◽

J. D. Andrews

Keyword(s):

Qualitative Analysis ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Fault Trees

Get full-text (via PubEx)

Analytical Method to Determine Uncertainty Propagation in Fault Trees by Means of Binary Decision Diagrams

IEEE Transactions on Reliability ◽

10.1109/tr.2012.2182812 ◽

2012 ◽

Vol 61 (1) ◽

pp. 84-94 ◽

Cited By ~ 7

Author(s):

Anatoli Paul Ulmeanu

Keyword(s):

Analytical Method ◽

Binary Decision Diagrams ◽

Uncertainty Propagation ◽

Decision Diagrams ◽

Binary Decision ◽

Fault Trees

Get full-text (via PubEx)

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

Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability ◽

10.1243/1748006xjrr47 ◽

2007 ◽

Vol 221 (2) ◽

pp. 95-105 ◽

Cited By ~ 6

Author(s):

A. B. Rauzy ◽

J Gauthier ◽

X Leduc

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Fault Trees

Get full-text (via PubEx)

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

Journal of Systems and Software ◽

10.1016/j.jss.2020.110766 ◽

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

Get full-text (via PubEx)

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

Reliability Engineering & System Safety ◽

10.1016/j.ress.2007.09.001 ◽

2008 ◽

Vol 93 (10) ◽

pp. 1543-1550 ◽

Cited By ~ 16

Author(s):

R. Remenyte-Prescott ◽

J.D. Andrews

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Fault Trees ◽

Connection Method

Get full-text (via PubEx)

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

Reliability Engineering & System Safety ◽

10.1016/j.ress.2015.06.001 ◽

2015 ◽

Vol 142 ◽

pp. 289-299 ◽

Cited By ~ 26

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

Get full-text (via PubEx)

Software Library for Teaching Applications of Binary Decision Diagrams in Reliability Analysis

2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA) ◽

10.1109/iceta51985.2020.9379170 ◽

2020 ◽

Author(s):

Michal Mrena ◽

Miroslav Kvassay ◽

Radomir S. Stankovic

Keyword(s):

Reliability Analysis ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Software Library ◽

Binary Decision

Get full-text (via PubEx)