Diagnosis from Scenarios
Loı̈c Hélouët, Thomas Gazagnaire, Blaise Genest · 2006
Diagnosis of a system consists in providing explanations to a supervisor from a partial observation of the system and a model of possible executions. This paper proposes a partial order diagnosis algorithm that recovers sets of scenarios which correspond to a given observation. The main difficulty is that some actions are unobservable but may still induce some causal ordering among observed events. We first give an offline centralized diagnosis algorithm, then we discuss a distributed version of this algorithm