Dynamic observers for fault diagnosis of timed systems

Franck Cassez
2010 49th IEEE Conference on Decision and Control (CDC)  
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.
doi:10.1109/cdc.2010.5717696 dblp:conf/cdc/Cassez10 fatcat:mv4xyjegyberdfmzocbmnbp5hq