Fuzzy Fault Trees: The Fast and the Formal

Thi Kim Nhung Dang; Benedikt Peterseim; Milan Lopuhaä-Zwakenberg; Mariëlle I.A. Stoelinga

doi:10.1007/978-3-032-05792-1_14

Fuzzy Fault Trees: The Fast and the Formal

Thi Kim Nhung Dang
, Benedikt Peterseim^*
, Milan Lopuhaä-Zwakenberg
, Mariëlle I.A. Stoelinga

^*Corresponding author for this work

Formal Methods and Tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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 α-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.

Original language	English
Title of host publication	Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Subtitle of host publication	Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings
Editors	Pavithra Prabhakar, Andrea Vandin
Place of Publication	Cham
Publisher	Springer
Pages	256-274
Number of pages	19
ISBN (Electronic)	978-3-032-05792-1
ISBN (Print)	978-3-032-05791-4
DOIs	https://doi.org/10.1007/978-3-032-05792-1_14
Publication status	Published - 2 Oct 2025
Event	2nd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2025 - Aarhus University, Aarhus, Denmark Duration: 26 Aug 2025 → 28 Aug 2025 Conference number: 2 https://www.qest.org/qest-formats-2025/

Conference

Conference	2nd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2025
Abbreviated title	QEST+FORMATS 2025
Country/Territory	Denmark
City	Aarhus
Period	26/08/25 → 28/08/25
Other	QEST - International Conference on Quantitative Evaluation of SysTems; FORMATS - International Conference on Formal Modeling and Analysis of Timed Systems.
Internet address	https://www.qest.org/qest-formats-2025/

Access to Document

10.1007/978-3-032-05792-1_14

Cite this

Dang, T. K. N., Peterseim, B., Lopuhaä-Zwakenberg, M., & Stoelinga, M. I. A. (2025). Fuzzy Fault Trees: The Fast and the Formal. In P. Prabhakar, & A. Vandin (Eds.), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings (pp. 256-274). Springer. https://doi.org/10.1007/978-3-032-05792-1_14

Dang, Thi Kim Nhung ; Peterseim, Benedikt ; Lopuhaä-Zwakenberg, Milan et al. / Fuzzy Fault Trees : The Fast and the Formal. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. editor / Pavithra Prabhakar ; Andrea Vandin. Cham : Springer, 2025. pp. 256-274

@inproceedings{14bdf41067104e93a940eeaecd8a8dc0,

title = "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 α-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.",

author = "Dang, \{Thi Kim Nhung\} and Benedikt Peterseim and Milan Lopuha{\"a}-Zwakenberg and Stoelinga, \{Mari{\"e}lle I.A.\}",

year = "2025",

month = oct,

day = "2",

doi = "10.1007/978-3-032-05792-1\_14",

language = "English",

isbn = "978-3-032-05791-4",

pages = "256--274",

editor = "Pavithra Prabhakar and Andrea Vandin",

booktitle = "Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems",

publisher = "Springer",

address = "Germany",

note = "2nd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2025, QEST+FORMATS 2025 ; Conference date: 26-08-2025 Through 28-08-2025",

url = "https://www.qest.org/qest-formats-2025/",

}

Dang, TKN, Peterseim, B, Lopuhaä-Zwakenberg, M & Stoelinga, MIA 2025, Fuzzy Fault Trees: The Fast and the Formal. in P Prabhakar & A Vandin (eds), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Springer, Cham, pp. 256-274, 2nd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2025, Aarhus, Denmark, 26/08/25. https://doi.org/10.1007/978-3-032-05792-1_14

Fuzzy Fault Trees: The Fast and the Formal. / Dang, Thi Kim Nhung; Peterseim, Benedikt; Lopuhaä-Zwakenberg, Milan et al.
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. ed. / Pavithra Prabhakar; Andrea Vandin. Cham: Springer, 2025. p. 256-274.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Fuzzy Fault Trees

T2 - 2nd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2025

AU - Dang, Thi Kim Nhung

AU - Peterseim, Benedikt

AU - Lopuhaä-Zwakenberg, Milan

AU - Stoelinga, Mariëlle I.A.

N1 - Conference code: 2

PY - 2025/10/2

Y1 - 2025/10/2

N2 - 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 α-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.

AB - 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 α-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.

UR - https://www.scopus.com/pages/publications/105020206565

U2 - 10.1007/978-3-032-05792-1_14

DO - 10.1007/978-3-032-05792-1_14

M3 - Conference contribution

SN - 978-3-032-05791-4

SP - 256

EP - 274

BT - Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

A2 - Prabhakar, Pavithra

A2 - Vandin, Andrea

PB - Springer

CY - Cham

Y2 - 26 August 2025 through 28 August 2025

ER -

Dang TKN, Peterseim B, Lopuhaä-Zwakenberg M , Stoelinga MIA. Fuzzy Fault Trees: The Fast and the Formal. In Prabhakar P, Vandin A, editors, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Cham: Springer. 2025. p. 256-274 doi: 10.1007/978-3-032-05792-1_14

Fuzzy Fault Trees: The Fast and the Formal

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Fuzzy Fault Trees: the Fast and the Formal

Cite this