Playing Games with Timed Games

Alexandre David, Kim Guldstrand Larsen, Thomas Chatain

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

10 Citationer (Scopus)

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.
OriginalsprogEngelsk
BogserieI F A C Workshop Series
Vol/bind3
Udgave nummer1
ISSN1474-6670
DOI
StatusUdgivet - 2009
Begivenhed3rd IFAC Conference on Analysis and Design of Hybrid Systems - , Spanien
Varighed: 16 sep. 200918 sep. 2009

Konference

Konference3rd IFAC Conference on Analysis and Design of Hybrid Systems
LandSpanien
Periode16/09/200918/09/2009

Citationsformater