HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Friday, February 20, 2009 - 1:10:48 AM
Last modification on : Wednesday, April 27, 2022 - 4:42:54 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

130

Files downloads

237