Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim G. Larsen  Home/Search
Context Related
| lsv.enscachan.fr/Publi...BCFLgdv04.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lsv.enscachan....blisy3all.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 [6]. 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. (Update)
Similar documents based on text: More All
0.6: Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (Correct)
0.3: Safe programming of PLC using formal verification methods - De Smet, Couffin.. (2000) (Correct)
0.2: Hierarchical Modeling and Verification of Timed Systems in .. - Pagetti, Cassez, Roux (2003) (Correct)
BibTeX entry: (Update)
P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Synthesis of optimal strategies using HyTech. In Proceedings of First Workshop on Games in Design and Veri cation, 2004. To appear. http://citeseer.ist.psu.edu/bouyer04synthesis.html More
@misc{ bouyer04synthesis,
author = "P. Bouyer and F. Cassez and E. Fleury and K. Larsen",
title = "Synthesis of optimal strategies using HyTech",
text = "P. Bouyer, F. Cassez, E. Fleury, and K.G. Larsen. Synthesis of optimal
strategies using HyTech. In Proceedings of First Workshop on Games in Design
and Veri cation, 2004. To appear.",
year = "2004",
url = "citeseer.ist.psu.edu/bouyer04synthesis.html" }
Citations (may not include all citations):211 HyTech: A model-checker for hybrid systems - Henzinger, Ho et al. - 1997
110 A user guide to hytech - Henzinger, Ho et al. - 1995
103 the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli et al. - 1995
78 the synthesis of strategies in infinite games - Thomas - 1995
50 Scheduling a steel plant with timed automata - Fehnker - 1999
36 Controller synthesis for timed automata - Asarin, Maler et al. - 1998
31 Guided synthesis of control programs using uppaal - Hune, Larsen et al. - 2000
21 Minimum-cost reachability for priced timed automata - Behrmann, Fehnker et al. - 2034
17 Optimal paths in weighted timed automata - Alur, Torre et al. - 2034
16 The synthesis of controllers for linear hybrid automata (context) - Wong-Toi - 1997
14 As cheap as possible: E#cient cost-optimal reachability for .. - Larsen, Behrmann et al. - 2001
9 Symbolic algorithms for infinite-state games - de Alfaro, Henzinger et al. - 2001
7 Verification and optimization of a PLC control schedule - Brinksma, Mader et al. - 2002
3 Modlisation et rsolution de problmes d'ordonnancement l'aide.. (context) - Abdeddaim - 2002
3 Optimal-reachability and control for acyclic weighted timed .. - Torre, Mukhopadhyay et al. - 2002
3 cient operations schemes for chemical plants in multi-batch .. (context) - Niebert, Yovine - 2001
2 cient scheduling for real time systems (context) - Larsen - 2003
2 Optimal strategies in priced timed game automata - Bouyer, Cassez et al. - 2004
1 Optimal reachability in weighted timed games - Alur, Bernadsky et al. - 2004
Documents on the same site (http://www.lsv.ens-cachan.fr/Publis/publis-y3-all.php): More
Randomized Finite-State Distributed Algorithms As Markov Chains - Duflot, al. (2001) (Correct)
Verification of Embedded Reactive Fiffo Systems - Herbreteau, Cassez, Finkel, al. (2002) (Correct)
A Kleene/Büchi-like Theorem for Clock Languages - Bouyer, Petit (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC