Skip to Main content Skip to Navigation
Book sections

Fault Diagnosis of Timed Systems

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.
Document type :
Book sections
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00493633
Contributor : Franck Cassez Connect in order to contact the contributor
Submitted on : Monday, June 21, 2010 - 4:24:50 AM
Last modification on : Tuesday, October 19, 2021 - 1:48:09 PM
Long-term archiving on: : Wednesday, September 22, 2010 - 5:52:46 PM

File

iste-wiley-book-diag.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00493633, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

116

Files downloads

229