Abstract
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 language | English |
---|---|
Book series | I F A C Workshop Series |
Volume | 3 |
Issue number | 1 |
ISSN | 1474-6670 |
DOIs | |
Publication status | Published - 2009 |
Event | 3rd IFAC Conference on Analysis and Design of Hybrid Systems - , Spain Duration: 16 Sept 2009 → 18 Sept 2009 |
Conference
Conference | 3rd IFAC Conference on Analysis and Design of Hybrid Systems |
---|---|
Country/Territory | Spain |
Period | 16/09/2009 → 18/09/2009 |