Synthesis of Optimal Strategies Using HyTech

Authors:
Patricia Bouyer;Franck Cassez;Emmanuel Fleury;Kim G. Larsen
Affiliations:
LSV, UMR 8643, CNRS & ENS de Cachan, France;IRCCyN, UMR 6597, CNRS, France;Computer Science Department, BRICS, Aalborg University, Denmark;Computer Science Department, BRICS, Aalborg University, Denmark
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 3
Cited 4

A User Guide to HyTech

TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Optimal-Reachability and Control for Acyclic Weighted Timed Automata

TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing
Scheduling a Steel Plant with Timed Automata

RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications

Optimal scheduling using priced timed automata

ACM SIGMETRICS Performance Evaluation Review
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems

MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
A Kleene-Schützenberger theorem for weighted timed automata

Theoretical Computer Science
Priced timed automata: algorithms and applications

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects

Quantified Score

Hi-index	0.00

Visualization

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.