Dynamic Observers for Fault Diagnosis of Timed Systems

In this paper we extend the work on \emph{dynamic ob-servers} for fault diagnosis 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.