Skip to main content

TS

Control of timed systems

Authors

Franck Cassez and Nicolas Markey

NICTA

CNRS

LSV
ENS Cachan

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.

BibTeX Entry

  @inbook{Cassez_Markey_09,
    publisher        = {ISTE Ltd. -- John Wiley \& Sons, Ltd.},
    isbn             = {9781848211438},
    author           = {Cassez, Franck and Markey, Nicolas},
    month            = oct,
    editor           = {{Jard, Claude and Roux, Olivier H.}},
    year             = {2009},
    title            = {Control of Timed Systems},
    booktitle        = {Communicating Embedded Systems},
    pages            = {83--120}
  }

Download

Served by Apache on Linux on seL4.