| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [17 references]
https://hal.inria.fr/inria-00363028
Contributor : Franck Cassez <>
Submitted on : Friday, February 20, 2009 - 1:10:48 AM
Last modification on : Thursday, June 4, 2020 - 10:40:07 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 7:39:07 PM
Contributor : Franck Cassez <>
Submitted on : Friday, February 20, 2009 - 1:10:48 AM
Last modification on : Thursday, June 4, 2020 - 10:40:07 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 7:39:07 PM
File
atva-07.pdf
Files produced by the author(s)