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.
Type de document :
Communication dans un congrès
10th International Conference on Mathematical Methods in Reliability, MMR 2017, Jul 2017, Grenoble, France. pp.1-8, 2017
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01630851
Contributeur : Stephan Merz <>
Soumis le : mercredi 8 novembre 2017 - 11:46:24
Dernière modification le : lundi 13 novembre 2017 - 01:01:03

Fichier

resubmission-Satisfiability te...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01630851, version 1

Collections

Citation

Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz. Satisfiability techniques for computing minimal tie sets in reliability assessment. 10th International Conference on Mathematical Methods in Reliability, MMR 2017, Jul 2017, Grenoble, France. pp.1-8, 2017. 〈hal-01630851〉

Partager

Métriques

Consultations de
la notice

39

Téléchargements du document

2