Title :
Dynamic observers for fault diagnosis of timed systems
Author_Institution :
Univ. of New South Wales, Sydney, NSW, Australia
Abstract :
In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers and then address the problem of computing the most permissive dynamic observer for a system given by a timed automaton.
Keywords :
automata theory; fault diagnosis; minimisation; observers; dynamic observers; fault diagnosis; sensor minimization problems; static observers; timed automata; timed automaton; timed systems; Automata; Clocks; Cost accounting; Delay; Fault diagnosis; Gallium; Observers;
Conference_Titel :
Decision and Control (CDC), 2010 49th IEEE Conference on
Conference_Location :
Atlanta, GA
Print_ISBN :
978-1-4244-7745-6
DOI :
10.1109/CDC.2010.5717696
