Dynamic Observers for Fault Diagnosis of Timed Systems

Franck Cassez

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 t…