Diagnosis of a Class of Timed Discrete Event Systems
Haithem Derbel, Moez Yeddes, Nejib Ben Hadj-Alouane, Hassane Alla · 2006
A timed extension of the discrete-event systems failure diagnosis approach of Sampath et al. (1995) is proposed. The diagnoser is a timed automaton, constructed off-line, from a timed automaton system model. The construction procedure is illustrated through a practical example. A notion of Delta-diagnosability for timed languages, is defined. Necessary and sufficient conditions linking Delta-diagnosability, to the structure of a constructed diagnoser are given