Skip to Main content Skip to Navigation
Book sections

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

Cited literature [56 references]  Display  Hide  Download

https://hal.inria.fr/inria-00493632
Contributor : Franck Cassez Connect in order to contact the contributor
Submitted on : Monday, June 21, 2010 - 4:21:26 AM
Last modification on : Monday, February 15, 2021 - 10:47:55 AM
Long-term archiving on: : Wednesday, September 22, 2010 - 5:51:23 PM

File

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

Identifiers

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

Share

Metrics

Record views

45

Files downloads

36