Diagnostic de systèmes à événements discrets à base de cohérence par SAT

Alban Grastien; Anbu Anbulagan

doi:10.3166/ria.24.757-786

Diagnostic de systèmes à événements discrets à base de cohérence par SAT

Translated title of the contribution: Consistency-based diagnosis of discrete-event systems by SAT

Alban Grastien^*, Anbu Anbulagan

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

Abstract

We present a new, two-level-based, technique for the diagnosis of discrete-eventsystems. 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.

Translated title of the contribution	Consistency-based diagnosis of discrete-event systems by SAT
Original language	French
Pages (from-to)	757-786
Number of pages	30
Journal	Revue d'Intelligence Artificielle
Volume	24
Issue number	6
DOIs	https://doi.org/10.3166/ria.24.757-786
Publication status	Published - 2010

Access to Document

10.3166/ria.24.757-786

Cite this

@article{16a6dc4ccd1d48b98c5409218d498d6f,

title = "Diagnostic de syst{\`e}mes {\`a} {\'e}v{\'e}nements discrets {\`a} base de coh{\'e}rence par SAT",

abstract = "We present a new, two-level-based, technique for the diagnosis of discrete-eventsystems. 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.",

keywords = "Discrete-event systems, Model-based diagnosis, SAT",

author = "Alban Grastien and Anbu Anbulagan",

year = "2010",

doi = "10.3166/ria.24.757-786",

language = "French",

volume = "24",

pages = "757--786",

journal = "Revue d'Intelligence Artificielle",

issn = "0992-499X",

publisher = "Lavoisier",

number = "6",

}

TY - JOUR

T1 - Diagnostic de systèmes à événements discrets à base de cohérence par SAT

AU - Grastien, Alban

AU - Anbulagan, Anbu

PY - 2010

Y1 - 2010

N2 - We present a new, two-level-based, technique for the diagnosis of discrete-eventsystems. 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.

AB - We present a new, two-level-based, technique for the diagnosis of discrete-eventsystems. 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.

KW - Discrete-event systems

KW - Model-based diagnosis

KW - SAT

UR - http://www.scopus.com/inward/record.url?scp=79952145479&partnerID=8YFLogxK

U2 - 10.3166/ria.24.757-786

DO - 10.3166/ria.24.757-786

M3 - Article

SN - 0992-499X

VL - 24

SP - 757

EP - 786

JO - Revue d'Intelligence Artificielle

JF - Revue d'Intelligence Artificielle

IS - 6

ER -

Diagnostic de systèmes à événements discrets à base de cohérence par SAT

Abstract

Access to Document

Other files and links

Fingerprint

Cite this