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

fYear

2006

fDate

10-12 July 2006

Firstpage

256

Lastpage

261

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Discrete Event Systems, 2006 8th International Workshop on

Conference_Location

Ann Arbor, MI

Print_ISBN

1-4244-0053-8

Type

conf

DOI

10.1109/WODES.2006.1678439

Filename

1678439

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2409663