Reformulation for the Diagnosis of Discrete-Event Systems.
Alban Grastien, Gianluca Torta · ANU Open Research (Australian National University) · 2011
Diagnosis is traditionally defined on a space of hypotheses (typically, all the combinations of zero or more possible faults). In the present paper, we argue that a suitable reformulation of this hypothesis space can lead to more efficient computation of