Abstrakt
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.
Originalsprog | Engelsk |
---|---|
Bogserie | I F A C Workshop Series |
Vol/bind | 3 |
Udgave nummer | 1 |
ISSN | 1474-6670 |
DOI | |
Status | Udgivet - 2009 |
Begivenhed | 3rd IFAC Conference on Analysis and Design of Hybrid Systems - , Spanien Varighed: 16 sep. 2009 → 18 sep. 2009 |
Konference
Konference | 3rd IFAC Conference on Analysis and Design of Hybrid Systems |
---|---|
Land/Område | Spanien |
Periode | 16/09/2009 → 18/09/2009 |