13 citations
2 papers
cs.FL2010★ 2 cited
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…
cs.LO2010★ 13 cited
A Note on Fault Diagnosis Algorithms
Franck Cassez
In this paper we review algorithms for checking diagnosability of discrete-event systems and timed automata. We point out that the diagnosability problems in both cases reduce to t…