SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

BDD algorithms based on modularization for fault tree analysis · Study

ArticleShelves

ArticleBDD algorithms based on modularization for fault tree analysis

Yunli Deng2015

Article2015

BDD algorithms based on modularization for fault tree analysis

35 citations·0/0 files stored·Progress in Nuclear Energy

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Risk and Safety Analysis Formal Methods in Verification Nuclear Engineering Thermal-Hydraulics

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 35 citations exist upstream.

References

1993New algorithms for fault trees analysis 1970A time-dependent methodology for fault tree evaluation 1996A linear-time algorithm to find modules of fault trees 2002A fault tree analysis strategy using binary decision diagrams 1997Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia 2003A fast BDD algorithm for large coherent fault trees analysis 1989Finding modules in fault trees 2007An enhanced component connection method for conversion of fault trees to binary decision diagrams

Cited by

2017Optimal decision-making via binary decision diagrams for investments under a risky environment 2022Spare parts control strategies for offshore wind farms: A critical review and comparative study 2018Reliability analysis by mapping probabilistic importance factors into bayesian belief networks for making decision in water deluge system 2020Reliability analysis of dynamic fault trees with spare gates using conditional binary decision diagrams 2019An Efficient Algorithm for Finding Modules in Fault Trees

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2003A fast BDD algorithm for large coherent fault trees analysisarticle · 4 shared references 2009An efficient phased mission reliability analysis for autonomous vehiclesarticle · 4 shared references 2022Dynamic and dependent tree theory (D2T2): A framework for the analysis of fault trees with dependent basic eventsarticle · 4 shared references 2006An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault treesarticle · 4 shared references 2007An enhanced component connection method for conversion of fault trees to binary decision diagramsarticle · 4 shared references 2013A Simple Algebra for Fault Tree Analysis of Static and Dynamic Systemsarticle · 4 shared references

Details

Year2015

Typearticle

Published2015-06-27

VenueProgress in Nuclear Energy

ISSN-L0149-1970

Languageen

Citations35

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1016/j.pnucene.2015.06.019

openalex_workW2204100751

Links

Imported from OpenAlex (CC0) — nothing here is generated.

2018Advanced combinatorial method for solving complex fault trees

2018A comparison of fault trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems part 2: Theoretical investigations