Diagnosis of discrete event systems using satisfiability algorithms: A theoretical and empirical study

Abstract

We propose a novel algorithm for the diagnosis of systems modelled as discrete event systems. Instead of computing all paths of the model that are consistent with the observations, we use a two-level approach: at the first level diagnostic questions are g