Playing Games with Timed Games

Alexandre David, Kim Guldstrand Larsen, Thomas Chatain

Research output: Contribution to journalConference article in JournalResearchpeer-review

7 Citations (Scopus)


In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. Following the example of timed simulation between timed automata, we define timed alternating simulation as a preorder between timed game automata, which preserves controllability. We define a method to reduce the timed alternating simulation problem to a safety game. We show how timed alternating simulation can be used to control efficiently a partially observable system. This method is illustrated by a generic case study.
Original languageEnglish
Book seriesI F A C Workshop Series
Issue number1
Publication statusPublished - 2009
Event3rd IFAC Conference on Analysis and Design of Hybrid Systems - , Spain
Duration: 16 Sep 200918 Sep 2009


Conference3rd IFAC Conference on Analysis and Design of Hybrid Systems

Cite this