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
Pages67-105
Number of pages39
ISBN (Electronic)9781118558188
ISBN (Print)9781848211438
DOIs
Publication statusPublished - 2010
Externally publishedYes

Keywords

  • "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. https://doi.org/10.1002/9781118558188.ch3