Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

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

File

atva-07.pdf
Files produced by the author(s)

Identifiers

  • 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. pp.307--321. ⟨inria-00363028⟩

Share

Metrics

Record views

231

Files downloads

423