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

This paper presents an extended strategy for the analysis of complex fault trees. The method uses simplification rules, which are applied to the fault tree to reduce it to a series of smaller subtrees, whose solution is equivalent to the original fault tree. The smaller subtree units are less sensit...

Full description

Bibliographic Details

Main Authors:	Rasa Remenyte-Prescott, J.D. Andrews
Format:	Default Article
Published:	2007
Subjects:	Other engineering not elsewhere classified Fault tree analysis Binary decision diagrams BDDs Non-coherent systems Prime implicants Engineering not elsewhere classified
Online Access:	https://hdl.handle.net/2134/4000
Tags:	Add Tag No Tags, Be the first to tag this record!