Timed control with observation based and stuttering invariant strategies

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

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

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 proceeding › Conference proceeding contribution › peer-review

34 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 language	English
Title of host publication	Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings
Place of Publication	Berlin; New York
Publisher	Springer, Springer Nature
Pages	192-206
Number of pages	15
Volume	4762 LNCS
ISBN (Electronic)	9783540755968
ISBN (Print)	9783540755951
DOIs	https://doi.org/10.1007/978-3-540-75596-8_15
Publication status	Published - 2007
Externally published	Yes
Event	5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007 - Tokyo, Japan Duration: 22 Oct 2007 → 25 Oct 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4762 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007
Country/Territory	Japan
City	Tokyo
Period	22/10/07 → 25/10/07

Access to Document

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

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). Springer, Springer Nature. https://doi.org/10.1007/978-3-540-75596-8_15

Cassez, Franck ; David, Alexandre ; Larsen, Kim G. et al. / Timed control with observation based and stuttering invariant strategies. Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings. Vol. 4762 LNCS Berlin; New York : Springer, Springer Nature, 2007. pp. 192-206 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{911a0e76c89d464ca7292f8012c06875,

title = "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.",

author = "Franck Cassez and Alexandre David and Larsen, {Kim G.} and Didier Lime and Raskin, {Jean Fran{\c c}ois}",

year = "2007",

doi = "10.1007/978-3-540-75596-8_15",

language = "English",

isbn = "9783540755951",

volume = "4762 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "192--206",

booktitle = "Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings",

address = "United States",

note = "5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007 ; Conference date: 22-10-2007 Through 25-10-2007",

}

Cassez, F, David, A, Larsen, KG, Lime, D & Raskin, JF 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4762 LNCS, Springer, Springer Nature, Berlin; New York, pp. 192-206, 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, Tokyo, Japan, 22/10/07. https://doi.org/10.1007/978-3-540-75596-8_15

Timed control with observation based and stuttering invariant strategies. / Cassez, Franck; David, Alexandre; Larsen, Kim G. et al.
Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings. Vol. 4762 LNCS Berlin; New York: Springer, Springer Nature, 2007. p. 192-206 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4762 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Timed control with observation based and stuttering invariant strategies

AU - Cassez, Franck

AU - David, Alexandre

AU - Larsen, Kim G.

AU - Lime, Didier

AU - Raskin, Jean François

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38149091549&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-75596-8_15

DO - 10.1007/978-3-540-75596-8_15

M3 - Conference proceeding contribution

AN - SCOPUS:38149091549

SN - 9783540755951

VL - 4762 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 192

EP - 206

BT - Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings

PB - Springer, Springer Nature

CY - Berlin; New York

T2 - 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007

Y2 - 22 October 2007 through 25 October 2007

ER -

Cassez F, David A, Larsen KG, Lime D, Raskin JF. 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. Berlin; New York: Springer, Springer Nature. 2007. p. 192-206. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-75596-8_15

Timed control with observation based and stuttering invariant strategies

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Cite this