Quantum Annealing Approaches for Minimal Cut Set Identification in Fault Trees

Rola Saidi, Samuel Deleplanque, Stefan Creemers (), Luis Fernando Pérez Armas, Mohamed Hibti and Belhassen Zouari
Additional contact information
Stefan Creemers: Université catholique de Louvain, LIDAM/CORE, Belgium

No 3361, LIDAM Reprints CORE from Université catholique de Louvain, Center for Operations Research and Econometrics (CORE)

Abstract: The identification of Minimal Cut Sets (MCS) in Fault Trees (FT) is central to Probabilistic Safety Assessment (PSA) but remains computationally challenging. While gate-based quantum algorithms have been explored, Quantum Annealing (QA) has not yet been applied to this industrial use case. This work investigates the application of QA to MCS identification by modeling the FT as a boolean function and implementing three existing SAT to Quadratic Unconstrained Binary Optimization (QUBO) encoding strategies. We evaluate these encodings using generated 3-SAT instances as well as realistic FT benchmarks, and conduct experiments on a simulated annealer and two D-Wave architectures. Our results show that the encoding with reusable auxiliary variables is the most efficient in terms of qubit requirements and embedding scalability. In addition, the Zephyr architecture provides improved embeddability compared to Pegasus, reflected in reduced chain break occurrences and better performance on larger instances. Across these experiments, QA demonstrates the ability to sample diverse valid solutions, making it suitable for exploring the solution space of MCS problems. However, its performance remains limited by hardware constraints and the maximum number of possible shots, which prevent exhaustive identification of all solutions in larger instances.

Keywords: Quantum Annealing; Fault Tree Analysis; Minimal Cut Sets; SAT-to-QUBO (search for similar items in EconPapers)
Pages: 34
Date: 2026-05-27
Note: In: Reliability Engineering & System Safety, 2026
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:cor:louvrp:3361

DOI: 10.1016/j.ress.2026.112907

Access Statistics for this paper

More papers in LIDAM Reprints CORE from Université catholique de Louvain, Center for Operations Research and Econometrics (CORE) Voie du Roman Pays 34, 1348 Louvain-la-Neuve (Belgium). Contact information at EDIRC.
Bibliographic data for series maintained by Alain GILLIS ().