Diagnosis of a Class of Timed Discrete Event Systems

Abstract

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