Dynamic Observers for Fault Diagnosis of Timed Systems

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.

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Franck Cassez
• Keywords: CORR 2010, Dynamic Observer, Education, Permissive Dynamic Observer, Sensor Minimization Problems