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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on reliability Jg. 70; H. 2; S. 575 - 589
Hauptverfasser:	Luo, Weilin, Wei, Ou, Wan, Hai
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.06.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!