Playing Games with Timed Games

Thomas Chatain 1 Alexandre David Kim Guldstrand Larsen
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
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.
Type de document :
Communication dans un congrès
Giua, Alessandro and Silva, Manuel and Zaytoon, Janan. Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Sep 2009, Zaragoza, Spain, Spain. 2009
Liste complète des métadonnées

https://hal.inria.fr/hal-00772637
Contributeur : Stefan Haar <>
Soumis le : jeudi 10 janvier 2013 - 20:21:20
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

  • HAL Id : hal-00772637, version 1

Collections

Citation

Thomas Chatain, Alexandre David, Kim Guldstrand Larsen. Playing Games with Timed Games. Giua, Alessandro and Silva, Manuel and Zaytoon, Janan. Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Sep 2009, Zaragoza, Spain, Spain. 2009. 〈hal-00772637〉

Partager

Métriques

Consultations de la notice

142