Timed Control with Observation Based and Stuttering Invariant Strategies

Franck Cassez 1 Alexandre David 2 Kim Guldstrand Larsen 2 Didier Lime 1 Jean-François Raskin 3
1 IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
2 Aalborg University [Denmark]
3 ULB - Computer Science Department [Bruxelles]
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 : jeudi 15 mars 2018 - 14:28:03
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

Collections

IRCCYN | IRCCYN-MEFORBIO | UNIV-NANTES | UNAM

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

139

Téléchargements de fichiers

80

Contact


archive-ouverte@inria.fr