A verified realization of a Dempster-Shafer based fault tree analysis

DOI10.1007/S00607-011-0179-3zbMath1238.65038OpenAlexW2029622553MaRDI QIDQ411450

Ekaterina Auer, Gabor Rebner, Wolfram J. Luther

Publication date: 4 April 2012

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-011-0179-3

zbMATH Keywords

likelihoodDempster-Shafer theorynumerical examplesinterval analysisMATLABINTLABfault tree analysis

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Foundations of probability theory (60A99) Algorithms with automatic result verification (65G20)

Related Items (1)

Verified stochastic methods

Uses Software

• Matlab
• INTLAB
• DSI Toolbox
• IPP Toolbox
• RAMAS Risk Calc
• Parallel Computing Toolbox

Cites Work

• A probabilistic foundation for vagueness and imprecision in fault-tree analysis
• Introduction to Interval Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A verified realization of a Dempster-Shafer based fault tree analysis