SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
A new methodology to handle Boolean models with loops
2 references·2 citing·15 second hop
A new methodology to handle Boolean models with loops (2003)A new methodology to handle Boolean model…Mathematical foundations of minimal cutsets (2001)Mathematical foundations of m…New algorithms for fault trees analysis (1993)New algorithms for fault tree…Model Event/Fault Trees With Dynamic Uncertain Causality Graph for Better Probabilistic Safety Assessment (2017)Model Event/Fault Trees With …Progression of the binary decision diagram conversion methods (2003)Progression of the binary dec…Efficient basic event orderings for binary decision diagrams (1998)An ordering heuristic for building binary decision diagrams from fault-trees (2002)Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis (2024)Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia (1997)A fast BDD algorithm for large coherent fault trees analysis (2003)Can we trust PRA? (2004)Minimal cut set/sequence generation for dynamic fault trees (2004)Event-tree analysis using binary decision diagrams (2000)Improving the analysis of dependable systems by mapping fault trees into Bayesian networks (2001)Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks (2007)An Application of Fuzzy Fault Tree Analysis for Reliability Evaluation of Wind Energy System (2020)A Comparative Study on Reliability Analysis Methods for Safety Critical Systems Using Petri-Nets and Dynamic Flowgraph Methodology: A Case Study of Nuclear Power Plant (2021)A review on the realization methods of dynamic fault tree (2022)Techniques and methodologies for risk analysis in chemical process industries (1998)A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes (2003)
this work references cited by second hop

References

  • 1993New algorithms for fault trees analysis472 cited
  • 2001Mathematical foundations of minimal cutsets121 cited

Cited by

  • 2017Model Event/Fault Trees With Dynamic Uncertain Causality Graph for Better Probabilistic Safety Assessment42 cited
  • 2003Progression of the binary decision diagram conversion methods8 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work