Computing Minimal Cut Sets
摘要
Cut set analysis requires a list of minimal cut sets of the fault tree to be available. Numerous algorithms exist to accomplish this task. The two main classes are based on manipulation of lists of events and methods based on binary decision diagrams (BDD). Other methods exploit, for example, SAT-solving and Monte Carlo simulation.