Fault Diagnosis of Timed Systems

Franck Cassez (1) , Stavros Tripakis (2)

1 NICTA - National ICT Australia [Sydney]
2 VERIMAG - IMAG - VERIMAG

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.

Domaines: Théorie et langage formel [cs.FL]

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⟩