Satisfiability Techniques for Computing Minimal Tie Sets in Reliability Assessment

Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, and Stephan Merz

Abstract

Estimates of system reliability crucially rely on qualitative techniques for determining the impact of component failures. Formally, the structure function of a system determines minimal tie or cut sets that are instrumental for quantitative techniques of reliability assessment. This paper describes three techniques, based on Boolean satisfiability solving, for computing minimal tie sets.

Available as: PDF

Reference

@InProceedings{duroeulx:satisfiability,
  author =       {Margaux Duroeulx and Nicolae Brinzei and Marie Duflot and Stephan Merz},
  title =        {Satisfiability Techniques for Computing Minimal Tie Sets in Reliability Assessment},
  booktitle =    {10th Intl. Conf. Mathematical Methods in Reliability (MMR 2017)},
  address = {Grenoble, France},
  year =      2017,
  pages =     {1-8},
}