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.
|Bogserie||I F A C Workshop Series|
|Status||Udgivet - 2009|
|Begivenhed||3rd IFAC Conference on Analysis and Design of Hybrid Systems - , Spanien|
Varighed: 16 sep. 2009 → 18 sep. 2009
|Konference||3rd IFAC Conference on Analysis and Design of Hybrid Systems|
|Periode||16/09/2009 → 18/09/2009|