Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT
This addresses fault tree analysis for reliability engineering, but it appears incremental as it applies an existing MaxSAT method to a specific problem.
The paper tackled the problem of identifying Maximum Probability Minimal Cut Sets in fault trees by modeling it as a Weighted Partial MaxSAT problem and solving it with a parallel SAT-solving architecture, resulting in an effective and efficient approach as indicated by their open source tool.
In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS problem as a Weighted Partial MaxSAT problem and solve it using a parallel SAT-solving architecture. The results obtained with our open source tool indicate that the approach is effective and efficient.