Résolution d'un problème de diagnostic de systèmes à événements discrets par SAT

Résumé : Diagnostiquer un système consiste à déterminer si le fonctionnement du système est normal ou défectueux grâce à des observations sur ce fonctionnement. Dans le cadre des systèmes à événements discrets (SED), lorsqu'un modèle complet est fourni, cela revient à calculer sur le modèle les comportements compatibles avec les observations et tester la normalité de ces comportements. Nous montrons que les problèmes de diagnostic de SED peuvent être traduits en problèmes de satisfiabilité propositionnelle (SAT) de formules booléennes sous forme normale conjonctive CNF). Nous résolvons ensuite le problème SAT à l'aide des meilleurs solveurs actuels. Les résultats montrent que les algorithmes SAT permettent de résoudre des problèmes que les algorithmes traditionnels de diagnostic ne peuvent traiter.
Type de document :
Communication dans un congrès
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, France. 2007
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00151241
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 1 juin 2007 - 19:12:40
Dernière modification le : lundi 13 août 2007 - 10:07:06
Document(s) archivé(s) le : jeudi 8 avril 2010 - 18:46:01

Fichier

32.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00151241, version 1

Collections

Citation

Alban Grastien, A. Anbulagan. Résolution d'un problème de diagnostic de systèmes à événements discrets par SAT. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, France. 2007. 〈inria-00151241〉

Partager

Métriques

Consultations de la notice

78

Téléchargements de fichiers

123