Optimal Strategies in Priced Timed Game Automata. Bouyer, P., Cassez, F., Fleury, E., Larsen, & Guldstrand, K. Technical Report RS-04-0, BRICS, Denmark, 2004. ISSN 0909-0878
Optimal Strategies in Priced Timed Game Automata [link]Paper  abstract   bibtex   
Priced timed (game) automata extends timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability games for priced timed game automata and prove that the optimal cost for winning such a game is computable under conditions concerning the non-zenoness of cost. Under stronger conditions (strictness of constraints) we prove in addition that it is decidable whether there is an optimal strategy in which case an optimal strategy can be computed. Our results extend previous decidability result which requires the underlying game automata to be acyclic. Finally, our results are encoded in a first prototype in \em HyTech which is applied on a small case-study.
@techreport{ bouyer-brics-04,
  abstract = {  Priced timed (game) automata extends timed (game) automata with costs on both locations and transitions. In this paper we focus on
  reachability games for priced timed game automata and prove that the
  optimal cost for winning such a game is computable under conditions
  concerning the
  non-zenoness of cost. Under stronger conditions (strictness of
  constraints) we prove in addition that it is decidable whether there
  is an optimal strategy in which case an optimal strategy can be
  computed. Our results extend previous decidability result which
  requires the underlying game automata to be acyclic. Finally, our
  results are encoded in a first prototype in {\em HyTech} which is applied
  on a small case-study.},
  author = {Bouyer, Patricia and Cassez, Franck and Fleury, Emmanuel and Larsen, Kim Guldstrand},
  institution = {BRICS, Denmark},
  lex = {Da},
  xxmonth = {February},
  note = {ISSN 0909-0878},
  category = {control},
  number = {RS-04-0},
  title = {{Optimal Strategies in Priced Timed Game Automata}},
  type = {BRICS Reports Series},
  url = {http://www.brics.dk/RS/04/4/},
  year = {2004}
}

Downloads: 0