Timed control with observation based and stuttering invariant strategies

Franck Cassez*, Alexandre David, Kim G. Larsen, Didier Lime, Jean François Raskin

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

27 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationAutomated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Pages192-206
Number of pages15
Volume4762 LNCS
ISBN (Electronic)9783540755968
ISBN (Print)9783540755951
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007 - Tokyo, Japan
Duration: 22 Oct 200725 Oct 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4762 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007
CountryJapan
CityTokyo
Period22/10/0725/10/07

    Fingerprint

Cite this

Cassez, F., David, A., Larsen, K. G., Lime, D., & Raskin, J. F. (2007). Timed control with observation based and stuttering invariant strategies. In Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings (Vol. 4762 LNCS, pp. 192-206). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4762 LNCS). Berlin; New York: Springer, Springer Nature. https://doi.org/10.1007/978-3-540-75596-8_15