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 utilises 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 se...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Inderscience
2007
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/3316/ |