Consistency-based diagnosis of discrete-event systems by SAT [Diagnostic de systèmes à événements discrets à base de cohérence par SAT]

Grastien, Alban; Anbulagan, Anbu

Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Consistency-based diagnosis of discrete-event systems by SAT [Diagnostic de systèmes à événements discrets à base de cohérence par SAT]

Date

2010

Authors

Grastien, Alban

Anbulagan, Anbu

Publisher

Hermes Science Publications

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