Incremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine

The incremental diagnosis of discrete-event systems is the problem of updating the diagnosis when new observations are available. For solving this problem, most approaches use diagnosis engines that return all the diagnoses, and concatenate the diagnoses of the new observations to the previous diagnoses. In this paper, we define the notion of non-exhaustive diagnosis engine, which returns only the preferred diagnosis, and we show how such an engine can be used for the incremental diagnosis. This is done by the mean of the so-called prediction windows that specify a delay that is sufficient to return a correct and accurate diagnosis.