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.
|Book series||I F A C Workshop Series|
|Publication status||Published - 2009|
|Event||3rd IFAC Conference on Analysis and Design of Hybrid Systems - , Spain|
Duration: 16 Sep 2009 → 18 Sep 2009
|Conference||3rd IFAC Conference on Analysis and Design of Hybrid Systems|
|Period||16/09/2009 → 18/09/2009|