کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328969 685244 2005 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Synthesis of Optimal Strategies Using HyTech
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Synthesis of Optimal Strategies Using HyTech
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 119, Issue 1, 2 February 2005, Pages 11-31
نویسندگان
, , , ,