AAAI Publications, Ninth Symposium of Abstraction, Reformulation, and Approximation

Font Size: 
Reformulation for the Diagnosis of Discrete-Event Systems
Alban Grastien, Gianluca Torta

Last modified: 2011-12-14


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 diagnoses, most notably by exploiting opportunities for various forms of model abstraction. The paper focuses on the diagnosis of Discrete Event Systems (DES), although the main ideas apply to diagnosis in general. An important contribution of the paper is the study of several formal properties related to the correctness and precision of the diagnoses obtained through reformulation.

Full Text: PDF