Fault Diagnosis of Timed Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2009

Fault Diagnosis of Timed Systems

Franck Cassez
  • Function : Author
  • PersonId : 832503
Stavros Tripakis
  • Function : Author

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.
Fichier principal
Vignette du fichier
iste-wiley-book-diag.pdf (388.87 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00493633 , version 1 (21-06-2010)

Identifiers

  • HAL Id : inria-00493633 , version 1

Cite

Franck Cassez, Stavros Tripakis. Fault Diagnosis of Timed Systems. Roux, Olivier H. and Jard, Claude. Communicating Embedded Systems -- Software and Design, ISTE Publishing Ltd. -- John Wiley & Sons, Ltd., 2009. ⟨inria-00493633⟩
118 View
243 Download

Share

Gmail Facebook X LinkedIn More