Synthesis of optimal strategies using HyTech

Patricia Bouyer; Franck Cassez; Emmanuel Fleury; Kim G. Larsen

doi:10.1016/j.entcs.2004.07.006

Synthesis of optimal strategies using HyTech

Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim G. Larsen

Research output: Contribution to journal › Article › peer-review

14 Citations (Scopus)

Abstract

Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. The problem of synthesizing an optimal winning strategy for a priced timed game under some hypotheses has been shown decidable in [P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Research Report BRICS RS-04-4, Denmark, Feb. 2004. Available at http://www.brics.dk/RS/04/4/]. In this paper, we present an algorithm for computing the optimal cost and for synthesizing an optimal strategy in case there exists one. We also describe the implementation of this algorithm with the tool HyTech and present an example.

Original language	English
Pages (from-to)	11-31
Number of pages	21
Journal	Electronic Notes in Theoretical Computer Science
Volume	119
Issue number	SPEC. ISS.
DOIs	https://doi.org/10.1016/j.entcs.2004.07.006
Publication status	Published - 2 Feb 2005
Externally published	Yes

Keywords

Optimal control
Strategy synthesis
Timed systems

Access to Document

10.1016/j.entcs.2004.07.006

Cite this

@article{086dfe75b8984bf9b03b0d5001cbfde6,

title = "Synthesis of optimal strategies using HyTech",

abstract = "Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. The problem of synthesizing an optimal winning strategy for a priced timed game under some hypotheses has been shown decidable in [P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Research Report BRICS RS-04-4, Denmark, Feb. 2004. Available at http://www.brics.dk/RS/04/4/]. In this paper, we present an algorithm for computing the optimal cost and for synthesizing an optimal strategy in case there exists one. We also describe the implementation of this algorithm with the tool HyTech and present an example.",

keywords = "Optimal control, Strategy synthesis, Timed systems",

author = "Patricia Bouyer and Franck Cassez and Emmanuel Fleury and Larsen, {Kim G.}",

year = "2005",

month = feb,

day = "2",

doi = "10.1016/j.entcs.2004.07.006",

language = "English",

volume = "119",

pages = "11--31",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "SPEC. ISS.",

}

TY - JOUR

T1 - Synthesis of optimal strategies using HyTech

AU - Bouyer, Patricia

AU - Cassez, Franck

AU - Fleury, Emmanuel

AU - Larsen, Kim G.

PY - 2005/2/2

Y1 - 2005/2/2

N2 - Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. The problem of synthesizing an optimal winning strategy for a priced timed game under some hypotheses has been shown decidable in [P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Research Report BRICS RS-04-4, Denmark, Feb. 2004. Available at http://www.brics.dk/RS/04/4/]. In this paper, we present an algorithm for computing the optimal cost and for synthesizing an optimal strategy in case there exists one. We also describe the implementation of this algorithm with the tool HyTech and present an example.

AB - Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. The problem of synthesizing an optimal winning strategy for a priced timed game under some hypotheses has been shown decidable in [P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Optimal strategies in priced timed game automata. Research Report BRICS RS-04-4, Denmark, Feb. 2004. Available at http://www.brics.dk/RS/04/4/]. In this paper, we present an algorithm for computing the optimal cost and for synthesizing an optimal strategy in case there exists one. We also describe the implementation of this algorithm with the tool HyTech and present an example.

KW - Optimal control

KW - Strategy synthesis

KW - Timed systems

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

U2 - 10.1016/j.entcs.2004.07.006

DO - 10.1016/j.entcs.2004.07.006

M3 - Article

AN - SCOPUS:13544276886

SN - 1571-0661

VL - 119

SP - 11

EP - 31

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - SPEC. ISS.

ER -

Synthesis of optimal strategies using HyTech

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this