• DocumentCode
    2576588
  • Title

    Dynamic observers for fault diagnosis of timed systems

  • Author

    Cassez, Franck

  • Author_Institution
    Univ. of New South Wales, Sydney, NSW, Australia
  • fYear
    2010
  • fDate
    15-17 Dec. 2010
  • Firstpage
    4359
  • Lastpage
    4364
  • 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.
  • Keywords
    automata theory; fault diagnosis; minimisation; observers; dynamic observers; fault diagnosis; sensor minimization problems; static observers; timed automata; timed automaton; timed systems; Automata; Clocks; Cost accounting; Delay; Fault diagnosis; Gallium; Observers;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Decision and Control (CDC), 2010 49th IEEE Conference on
  • Conference_Location
    Atlanta, GA
  • ISSN
    0743-1546
  • Print_ISBN
    978-1-4244-7745-6
  • Type

    conf

  • DOI
    10.1109/CDC.2010.5717696
  • Filename
    5717696
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2576588