Consistency-based diagnosis of discrete-event systems by SAT [Diagnostic de systèmes à événements discrets à base de cohé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