Fuzzy Fault Trees: the Fast and the Formal
Abstract
We provide a rigorous framework for handling uncertainty in quantitative fault tree analysis based on fuzzy theory. We show that any algorithm for fault tree unreliability analysis can be adapted to this framework in a fully general and computationally efficient manner. This result crucially leverages both the alpha-cut representation of fuzzy numbers and the coherence property of fault trees. We evaluate our algorithms on an established benchmark of synthetic fault trees, demonstrating their practical effectiveness.
Cite
@article{arxiv.2507.02886,
title = {Fuzzy Fault Trees: the Fast and the Formal},
author = {Thi Kim Nhung Dang and Benedikt Peterseim and Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga},
journal= {arXiv preprint arXiv:2507.02886},
year = {2026}
}
Comments
Preprint version, containing an appendix with proofs, of the conference paper with the DOI below; presented at QEST+FORMATS 2025. (This replacement corrects the faulty DOI from the previous version and updates this comment field.)