Control of timed systems

Franck Cassez*, Nicolas Markey

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationCommunicating embedded systems
Subtitle of host publicationsoftware and design : formal methods
EditorsClaude Jard, Olivier H. Roux
Place of PublicationLondon; Hoboken, N.J.
PublisherJohn Wiley & Sons
Number of pages39
ISBN (Electronic)9781118558188
ISBN (Print)9781848211438
Publication statusPublished - 2010
Externally publishedYes


  • "Zenoness"and Zeno controller
  • Controller, efficient algorithms
  • Timed games, game automata
  • Timed systems control, verification
  • Winning states/strategies

Cite this

Cassez, F., & Markey, N. (2010). Control of timed systems. In C. Jard, & O. H. Roux (Eds.), Communicating embedded systems: software and design : formal methods (pp. 67-105). London; Hoboken, N.J.: John Wiley & Sons.