Diagnosis of a Class of Timed Discrete Event Systems

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-dia...

Full description

Saved in:
Bibliographic Details
Published in2006 8th International Workshop on Discrete Event Systems pp. 256 - 261
Main Authors Derbel, H., Yeddes, M., Hadj-Alouane, N.B., Alla, H.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2006
Subjects
Automata
Clocks
Containers
Discrete event systems
Fault diagnosis
Joining processes
Real time systems
State estimation
Sufficient conditions
Valves
Online AccessGet full text

Cover

More Information
Summary: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
ISBN:1424400538
9781424400539
DOI:10.1109/WODES.2006.1678439