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

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on reliability Vol. 70; no. 2; pp. 575 - 589
Main Authors:	Luo, Weilin, Wei, Ou, Wan, Hai
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.06.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!