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.
Type de document :
Chapitre d'ouvrage
Roux, Olivier H. and Jard, Claude. Communicating Embedded Systems -- Software and Design, ISTE Publishing Ltd. -- John Wiley & Sons, Ltd., 2009
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00493633
Contributeur : Franck Cassez <>
Soumis le : lundi 21 juin 2010 - 04:24:50
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 17:52:46

Fichier

iste-wiley-book-diag.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

181

Téléchargements de fichiers

192