| HAL-Inria | Publications, software ... of Inria's scientists |
Satisfiability techniques for computing minimal tie sets in reliability assessment
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.
Cited literature [6 references]
https://hal.inria.fr/hal-01518920
Contributor : Margaux Duroeulx Connect in order to contact the contributor
Submitted on : Friday, May 5, 2017 - 3:38:17 PM
Last modification on : Wednesday, November 3, 2021 - 4:46:17 AM
Long-term archiving on: : Sunday, August 6, 2017 - 3:43:44 PM
Contributor : Margaux Duroeulx Connect in order to contact the contributor
Submitted on : Friday, May 5, 2017 - 3:38:17 PM
Last modification on : Wednesday, November 3, 2021 - 4:46:17 AM
Long-term archiving on: : Sunday, August 6, 2017 - 3:43:44 PM
File
Techreport - Satisfiability te...
Files produced by the author(s)