Fuzzy Fault Trees: the Fast and the Formal
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917226247880704 |
|---|---|
| author | Dang, Thi Kim Nhung Peterseim, Benedikt Lopuhaä-Zwakenberg, Milan Stoelinga, Mariëlle |
| author_facet | Dang, Thi Kim Nhung Peterseim, Benedikt Lopuhaä-Zwakenberg, Milan Stoelinga, Mariëlle |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_02886 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Fuzzy Fault Trees: the Fast and the Formal Dang, Thi Kim Nhung Peterseim, Benedikt Lopuhaä-Zwakenberg, Milan Stoelinga, Mariëlle General Mathematics 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. |
| title | Fuzzy Fault Trees: the Fast and the Formal |
| topic | General Mathematics |
| url | https://arxiv.org/abs/2507.02886 |