Dynamic Observers for Fault Diagnosis of Timed Systems
classification
💻 cs.FL
keywords
dynamictimeddiagnosisfaultobserversaddressautomataautomaton
read the original abstract
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 the problem of computing the most permissive dynamic observer for a system given by a timed automaton.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.