Diagnosability Testing with Satisfiability Algorithms

Abstract : We show how testing whether a system is diagnosable can be reduced to the satisfiability problem and how satisfiability algorithms can yield a very efficient approach to testing diagnosability. Diagnosability is the question whether it is always possible to hnow whether a given system has exhibited a failure behavior. This is a basic question that underlies diagnosis, and it is also closely related to more general questions about the possibility to know given facts about system behavior. The work combines the twin plant construct of Jiang et al., which is the basis of diagnosability testing of systems with an enumerative representation, and SAT-based techniques to AI planning which form a very promising approach to finding paths in very large transition graphs.
Type de document :
Communication dans un congrès
IJCAI 07, Jan 2007, Hyderabad, 2007
Liste complète des métadonnées

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

Contributeur : Alban Grastien <>
Soumis le : lundi 20 novembre 2006 - 07:12:17
Dernière modification le : lundi 20 novembre 2006 - 08:28:57
Document(s) archivé(s) le : mardi 6 avril 2010 - 21:19:05


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00110586, version 1


Alban Grastien, Jussi Rintanen. Diagnosability Testing with Satisfiability Algorithms. IJCAI 07, Jan 2007, Hyderabad, 2007. 〈inria-00110586〉



Consultations de la notice


Téléchargements de fichiers