Control of Timed Systems

Abstract : In this book Chapter we address the problem of controller synthesis for timed systems. By timed systems we refer to systems which are subject to quantitative (hard) real-time constraints. We assume the reader is familiar with the basics of Timed Automata theory, or has read Chapter 1 and Chapter 2 in this book.
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 [56 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00493632
Contributeur : Franck Cassez <>
Soumis le : lundi 21 juin 2010 - 04:21:26
Dernière modification le : jeudi 11 janvier 2018 - 06:20:13
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 17:51:23

Fichier

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

Identifiants

  • HAL Id : inria-00493632, version 1

Collections

Citation

Franck Cassez, Nicolas Markey. Control of Timed Systems. Roux, Olivier H. and Jard, Claude. Communicating Embedded Systems -- Software and Design, ISTE Publishing Ltd. -- John Wiley & Sons, Ltd., 2009. 〈inria-00493632〉

Partager

Métriques

Consultations de la notice

99

Téléchargements de fichiers

57