Title :
Diagnosis of a Class of Timed Discrete Event Systems
Author :
Derbel, Haithem ; Yeddes, Moez ; Ben Hadj-Alouane, Nejib ; Alla, Hassane
Author_Institution :
Nat. Sch. of Inf. Sci., Manouba
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
Keywords :
automata theory; discrete event systems; failure analysis; fault diagnosis; formal languages; Delta-diagnosability; discrete-event system failure diagnosis; timed automaton; timed discrete-event system diagnosis; timed languages; Automata; Clocks; Containers; Discrete event systems; Fault diagnosis; Joining processes; Real time systems; State estimation; Sufficient conditions; Valves;
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
DOI :
10.1109/WODES.2006.1678439
