SZodixStudyAcademic Library

Shelves Open access

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

Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees · Study

ArticleShelves

ArticleSequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees

Antoine B. Rauzy2011

Article2011

Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees

Antoine B. Rauzy

43 citations·0/0 files stored·Reliability Engineering & System Safety

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 Reliability and Maintenance Optimization Formal Methods in Verification

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 — 43 citations exist upstream.

References

1993New algorithms for fault trees analysis 2003A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes 2007Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains 2010Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events 2001Mathematical foundations of minimal cutsets 2004Minimal cut set/sequence generation for dynamic fault trees 2004Parametric fault trees with dynamic gates and repair boxes 1999Bridging the gap between systems and dynamic fault tree models

Cited by

2015An extended HAZOP analysis approach with dynamic fault tree 2014A Stochastic Approach for the Analysis of Fault Trees With Priority AND Gates 2013A Simple Algebra for Fault Tree Analysis of Static and Dynamic Systems 2015Reliability Analysis Method of safety-critical avionics system based on Dynamic Fault Tree under Fuzzy Uncertainty 2015Towards a sound semantics for dynamic fault trees

Related works

Explore the map →

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

2016Uncovering Dynamic Fault Treesother · 5 shared references 2011Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approachesarticle · 4 shared references 2014Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulationarticle · 4 shared references 2015Towards a sound semantics for dynamic fault treesarticle · 4 shared references 2014Quantification of Highly Coupled Dynamic Fault Tree Using IRVPM and SBDDarticle · 4 shared references 2010Algebraic determination of the structure function of Dynamic Fault Treesarticle · 3 shared references

Details

Year2011

Typearticle

Published2011-02-12

VenueReliability Engineering & System Safety

ISSN-L0951-8320

Languageen

Citations43

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1016/j.ress.2011.02.005

openalex_workW2007100591

Links

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

2019

Modelling and Resolution of Dynamic Reliability Problems by the Coupling of Simulink and the Stochastic Hybrid Fault Tree Object Oriented (SHyFTOO) Library

2020Reliability analysis of dynamic fault trees with spare gates using conditional binary decision diagrams

2015Reliability analysis of complex dynamic fault trees based on an adapted K.D. Heidtmann algorithm