Diagnosis of Discrete Event Systems by Independent Windows
Xing Su, Alban Grastien · ANU Open Research (Australian National University) · 2013
We propose new algorithms for diagnosis of discrete event systems that slice the observations into windows, each diagnosed independently.Doing so allows to cope with intermittent observations and to ignore the overhead of maintaining a precise estimate of the system state.We show how diagnosability can be asserted using this approach -and any diagnosis algorithm in general -through the notion of a simulation, which is a modified model that simulates how the diagnosis algorithm computes the diagnosis.