Skip to main content

TS

Dynamic observers for fault diagnosis of timed systems

Authors

Franck Cassez

NICTA

CNRS

Abstract

In this paper we extend the work on dynamic observers 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.

BibTeX Entry

  @inproceedings{Cassez_09_3,
    publisher        = {IEEE Computer Society},
    author           = {Cassez, Franck},
    month            = dec,
    year             = {2009},
    title            = {Dynamic Observers for Fault Diagnosis of Timed Systems },
    booktitle        = {49th IEEE Conference on Decision and Control},
    pages            = {4359--4364},
    address          = {Atlanta, USA}
  }

Download

Served by Apache on Linux on seL4.