Skip to main content

TS

Fault diagnosis of timed systems

Authors

Franck Cassez and Stavros Tripakis

NICTA

CNRS

Berkeley University

Abstract

In this book Chapter, we review the main results pertaining to the problem of fault diagnosis of timed automata. Timed automata are introduced in Chapter 1 and Chapter 2 in this book, and the reader not familiar with this model is invited to read them first.

BibTeX Entry

  @inbook{Cassez_Tripakis_09,
    publisher        = {ISTE Ltd. -- John Wiley \& Sons, Ltd.},
    isbn             = {9781848211438},
    series           = {N/A},
    author           = {Cassez, Franck and Tripakis, Stavros},
    month            = oct,
    editor           = {{Jard, Claude and Roux, Olivier H.}},
    year             = {2009},
    title            = {Fault Diagnosis of Timed Systems},
    booktitle        = {Communicating Embedded Systems Software and Design},
    pages            = {120--151}
  }

Download

Served by Apache on Linux on seL4.