Timed Control with Observation Based and Stuttering Invariant Strategies


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.

DOI: 10.1007/978-3-540-75596-8_15

Extracted Key Phrases

4 Figures and Tables

Cite this paper

@inproceedings{Cassez2007TimedCW, title={Timed Control with Observation Based and Stuttering Invariant Strategies}, author={Franck Cassez and Alexandre David and Kim G. Larsen and Didier Lime and Jean-François Raskin}, booktitle={ATVA}, year={2007} }