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

QR Code

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...

Full description

Bibliographic Details
Main Authors:	Remenyte-Prescott, Rasa, Andrews, John
Format:	Article
Published:	Inderscience 2007
Subjects:	fault tree analysis; binary decision diagrams; BDDs; non-coherent systems; prime implicants; reliability
Online Access:	https://eprints.nottingham.ac.uk/3316/

Similar Items

Improving reliability calculation with augmented binary decision diagrams
by: Herrmann, Johannes u
Published: (2010)

Computation of Probability Coefficients using Binary Decision Diagram and their Application in Test Vector Generation
by: Singh, Ashutosh Kumar, et al.
Published: (2009)

Development of BDD models for decision support in phased mission systems
by: Zhang, Yang
Published: (2016)

An efficient algorithm for exact computation of system and survival signatures using binary decision diagrams
by: Reed, Sean
Published: (2017)

Analysis of non-coherent fault trees using ternary decision diagrams
by: Remenyte-Prescott, Rasa, et al.
Published: (2008)

An enhanced component connection method for conversion of fault trees to binary decision diagrams
by: Remenyte-Prescott, Rasa, et al.
Published: (2008)

Qualitative analysis of complex modularized fault trees using binary decision diagrams
by: Remenyte-Prescott, Rasa, et al.
Published: (2006)

Quantitative risk prognostics framework based on Petri Net and Bow-Tie models
by: Vileiniskis, Marius, et al.
Published: (2017)

Fault detection and diagnostics of a three-phase separator
by: Vileiniskis, Marius, et al.
Published: (2016)

Using reliability analysis to support decision making in phased mission systems
by: Zhang, Yang, et al.
Published: (2017)

An efficient real-time method of analysis for non-coherent fault trees
by: Remenyte-Prescott, Rasa, et al.
Published: (2009)

Unsupervised process monitoring and fault diagnoses with machine learning methods
by: Aldrich, Chris, et al.
Published: (2013)

A memory efficient algorithm for network reliability
by: Herrmann, Johannes, et al.
Published: (2009)

A fault detection method for railway point systems
by: Vileiniskis, Marius, et al.
Published: (2016)

Voting algorithms for large scale fault-tolerant systems
by: Karimi, Abbas
Published: (2011)

Railway bridge structural health monitoring and fault detection: state-of-the-art methods and future challenges
by: Vagnoli, Matteo, et al.
Published: (2018)

Turn-turn short circuit fault management in permanent magnet machines
by: Arumugam, Puvaneswaran, et al.
Published: (2015)

On augmented OBDD and performability for sensor networks
by: Herrmann, Johannes, et al.
Published: (2010)

A reliability analysis method using binary decision diagrams in phased mission planning
by: Prescott, Darren, et al.
Published: (2009)

Dynamic Memory Allocation for CMAC using Binary Search Trees
by: Scarfe, Peter, et al.
Published: (2007)

Using multi-valued decision diagram to solve the expected hop count problem
by: Herrmann, Johannes u, et al.
Published: (2009)

An Efficient Method for Generating Optimal OBDD of Boolean Functions
by: Singh, Ashutosh, et al.
Published: (2008)

Comparing Simulations and Graphical Representations of Complexities of Benchmark and Large-Variable Circuits
by: Prasad, P., et al.
Published: (2010)

Using optical coherence tomography and optical coherence tomography angiography to delineate neurovascular homeostasis in migraine: a review
by: Chaliha, Devahuti, et al.
Published: (2024)

The interpretation of polycrystalline coherent inelastic neutron scattering from aluminium
by: Roach, D., et al.
Published: (2013)

Investigations into fault ride through and fault location for HVDC
by: Noori, Abdulrazzaq Fouad Noori
Published: (2019)

Fault propagation modelling for fluid system health monitoring
by: Remenyte-Prescott, Rasa, et al.
Published: (2011)

Impedance based fault location in power distribution systems
by: Jia, Ke
Published: (2012)

Teaching and learning secondary school biology with diagrams
by: Liu, Yang
Published: (2012)

Short-circuit fault analysis and isolation strategy for matrix converters
by: Wang, Li-Na, et al.
Published: (2015)

Limitations of translation activation in masked priming: behavioural evidence from Chinese-English bilinguals and computational modelling
by: Wen, Yun, et al.
Published: (2018)

Generalized hash-binary-tree based self-healing key distribution with implicit authentication
by: Tian, Biming, et al.
Published: (2011)

Optical coherence elastography: Strain imaging in tissue using optical coherence tomography
by: Kennedy, B., et al.
Published: (2012)

A phased mission approach to fault propagation
by: Lloyd, Michael D.
Published: (2014)

Phase Diagram, and Structural and Electrical Properties of Pyrochlores in Bi2o3-Zno-Nb2o5 Ternary System
by: Tan, Kar Ban
Published: (2007)

Supporting group coherence in a museum visit
by: Fosh, Lesley, et al.
Published: (2016)

A double end fault location technique for distribution systems based on fault-generated transients
by: Aboshady, F.M., et al.
Published: (2017)

Coherence scanning interferometry for additive manufacture
by: Gomez, Carlos, et al.
Published: (2017)

A sensor selection method for fault diagnostics
by: Reeves, J., et al.
Published: (2017)

Reliability and availability for substation communication systems using IEC61850
by: Das, Narottam, et al.
Published: (2013)