Grastien, AlbanAnbulagan, Anbu2015-12-130018-9286http://hdl.handle.net/1885/75781We 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 gKeywords: Empirical studies; Novel algorithm; Propositional satisfiability; Satisfiability algorithms; Satisfiability solvers; Second level; Two-level approach; Algorithms; Diagnosis; Discrete event simulation; Formal logic Diagnosis; Discrete event systems; Propositional satisfiability201310.1109/TAC.2013.22758922022-08-07