@inproceedings{9a70e5ed280841ceb2d38d056bd74e77,
title = "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.",
author = "Franck Cassez",
year = "2010",
doi = "10.1109/CDC.2010.5717696",
language = "English",
isbn = "9781424477456",
series = "Proceedings of the IEEE Conference on Decision & Control",
publisher = "Institute of Electrical and Electronics Engineers (IEEE)",
pages = "4359--4364",
booktitle = "2010 49th IEEE Conference on Decision and Control (CDC 2010)",
address = "United States",
note = "2010 49th IEEE Conference on Decision and Control, CDC 2010 ; Conference date: 15-12-2010 Through 17-12-2010",
}