Playing Games with Timed Games - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Playing Games with Timed Games

Alexandre David
  • Function : Author
Kim Guldstrand Larsen
  • Function : Author
  • PersonId : 996530

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.

Domains

Other [cs.OH]
No file

Dates and versions

hal-00772637 , version 1 (10-01-2013)

Identifiers

  • HAL Id : hal-00772637 , version 1

Cite

Thomas Chatain, Alexandre David, Kim Guldstrand Larsen. Playing Games with Timed Games. Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Sep 2009, Zaragoza, Spain, Spain. ⟨hal-00772637⟩
100 View
0 Download

Share

Gmail Facebook X LinkedIn More