Dynamic Observers for Fault Diagnosis of Timed Systems

Details Dynamic Observers for Fault Diagnosis of Timed Systems Dynamic Observers for Fault Diagnosis of Timed Systems

2010-06-24

arxiv.org/abs/1006.4681v1

Computer Science

Formal Languages and Automata Theory

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Dynamic Observers for Fault Diagnosis of Timed Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Dynamic Observers for Fault Diagnosis of Timed Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamic Observers for Fault Diagnosis of Timed Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-675247