Control of timed systems

Franck Cassez*, Nicolas Markey

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

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