Timed control with observation based and stuttering invariant strategies. - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Timed control with observation based and stuttering invariant strategies.

Résumé

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.
Fichier principal
Vignette du fichier
atva-07.pdf (237.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00218336 , version 1 (30-03-2008)

Identifiants

  • HAL Id : hal-00218336 , version 1

Citer

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. pp.307--321. ⟨hal-00218336⟩
235 Consultations
149 Téléchargements

Partager

More