SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets

Fault tree analysis (FTA) is a prominent reliability analysis method, which is widely used in safety-critical industries. Computing the minimal cut sets (MCSs) of a fault tree, i.e., finding all the smallest combinations of the basic events that cause system failures, is a fundamental step in FTA. S...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on reliability Ročník 70; číslo 2; s. 575 - 589
Hlavní autoři:	Luo, Weilin, Wei, Ou, Wan, Hai
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.06.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Algorithms Binary decision diagrams Boolean Boolean algebra Boolean satisfiability problem conflict-driven clause learning (CDCL) Encoding Fault tree analysis fault tree analysis (FTA) Fault trees Industries Iterative methods minimal cut sets (MCSs) Propagation Prototypes Reliability Reliability analysis Safety critical Searching System failures
ISSN:	0018-9529, 1558-1721
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!