Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems.

Since its appearance in AI, model-based diagnosis is intrinsically set-oriented. Given a sequence of observations, the diagnosis task generates a set of diagnoses, or candidates, each candidate complying with the observations. What all the approaches in the literature have in common is that a candidate is invariably a set of faulty elements (components, events, or otherwise).

A bridged diagnostic method for the monitoring of polymorphic discrete-event systems.

Diagnosis of discrete-event systems (DESs) is a challenging problem that has been tackled both by automatic control and artificial intelligence communities. The relevant approaches share similarities, including modeling by automata, compositional modeling, and model-based reasoning. This paper aims to bridge two complementary approaches from these communities, namely, the diagnoser approach and the active system approach, respectively.