Satisfiability techniques for computing minimal tie sets in reliability assessment - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Satisfiability techniques for computing minimal tie sets in reliability assessment

Résumé

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.
Fichier principal
Vignette du fichier
resubmission-Satisfiability techniques for computing minimal tie sets in reliability assessment.pdf (296.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01630851 , version 1 (08-11-2017)

Identifiants

  • HAL Id : hal-01630851 , version 1

Citer

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. ⟨hal-01630851⟩
226 Consultations
80 Téléchargements

Partager

Gmail Facebook X LinkedIn More