ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 24/6 - 2010  - pp.757-786  - doi:10.3166/ria.24.757-786
TITRE
Diagnostic de systèmes à événements discrets à base de cohérence par SAT

TITLE
Consistency-based diagnosis of discrete-event systems by SAT

RÉSUMÉ

Nous présentons une nouvelle technique pour le diagnostic de systèmes à événements discrets. Cette technique se base sur la notion de cohérence : le système de diagnostic renvoie une hypothèse de diagnostic si celle-ci est considérée comme cohérente avec le modèle et les observations. Notre algorithme se découpe en deux niveaux : le premier niveau transforme le problème de diagnostic en une séquence de problèmes simples appelés questions de diagnostic ; le second niveau résout les questions de diagnostic à l’aide de la satisfiabilité propositionnelle (SAT). Ce découpage permet d’expliquer les observations et de produire un diagnostic du système. Nos expérimentations montrent que les algorithmes utilisant SAT sont capables de résoudre des problèmes de diagnostic que nous ne pouvions pas résoudre avec d’autres techniques.



ABSTRACT

We present a new, two-level-based, technique for the diagnosis of discrete-event systems. The first level transforms the diagnosis problem in a sequence of diagnosis questions. The second level answers the diagnosis questions. We propose to implement this second level with a SAT solver. This two-level algorithm allows to explain the observations and to generate a diagnosis of the system. Our experiments show that the SAT-based approach can solve problems that we could not solve with other techniques.



AUTEUR(S)
Alban GRASTIEN, Anbu ANBULAGAN

MOTS-CLÉS
diagnostic à base de modèle, systèmes à événements discrets, SAT.

KEYWORDS
model-based diagnosis, discrete-event systems, SAT.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (333 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier