Timed Control with Observation Based and Stuttering Invariant Strategies

Abstract : In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be based on a finite collection of observations and must be stuttering invariant in the sense that repeated identical observations will not change the strategy. We provide a constructive transformation to equivalent finite games with perfect information, giving decidability as well as allowing for an efficient on-the-fly forward algorithm. We report on application of an initial experimental implementation.
Type de document :
Communication dans un congrès
5th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'07), Oct 2007, Tokyo, Japan. Springer, 4762, pp.307--321, 2007
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00363028
Contributeur : Franck Cassez <>
Soumis le : vendredi 20 février 2009 - 01:10:48
Dernière modification le : mercredi 16 mai 2018 - 11:48:02
Document(s) archivé(s) le : mardi 8 juin 2010 - 19:39:07

Fichier

atva-07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00363028, version 1

Citation

Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin. Timed Control with Observation Based and Stuttering Invariant Strategies. 5th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'07), Oct 2007, Tokyo, Japan. Springer, 4762, pp.307--321, 2007. 〈inria-00363028〉

Partager

Métriques

Consultations de la notice

162

Téléchargements de fichiers

105