Weighted Timed Automata: Model-Checking and Games

Electronic Notes in Theoretical Computer Science

Volumn 158, Issue 1, 2006, Pages 3-17

  Bouyer, Patricia ^a  

^a CNRS   (France)

Author keywords

games; model checking; Weighted priced timed automata

Indexed keywords

AUTOMATION; COMPUTER SIMULATION; COSTS; MATHEMATICAL MODELS; PROBLEM SOLVING;

GAMES; MODEL CHECKING; TIMED AUTOMATION; WEIGHTED/PRICED TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 33748210075     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.04.002     Document Type: Article

References (31)

1. Alur R., Bernadsky M., and Madhusudan P. Optimal reachability in weighted timed games. Proc. 31st International Colloquium on Automata, Languages and Programming. (ICALP'04). Lecture Notes in Computer Science 3142 (2004) 122-133
2. Alur R., Courcoubetis C., and Dill D. Model-checking in dense real-time. Information and Computation 104 (1993) 2-34
3. Alur R., and Dill D. Automata for modeling real-time systems. Proc. 17th International Colloquium on Automata, Languages and Programming. (ICALP'90). Lecture Notes in Computer Science 443 (1990) 322-335
4. Alur R., and Dill D. A theory of timed automata. Theoretical Computer Science 126 (1994) 183-235
5. Alur R., La Torre S., and Pappas G.J. Optimal paths in weighted timed automata. Proc. 4th International Workshop on Hybrid Systems: Computation and Control. (HSCC'01). Lecture Notes in Computer Science 2034 (2001) 49-62
6. Alur R., and Madhusudan P. Decision problems for timed automata: A survey. Proc. 4th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. (SFM-04:RT). Lecture Notes in Computer Science 3185 (2004) 122-133
7. Asarin E., and Maler O. As soon as possible: Time optimal control for timed automata. Proc. 2nd International Workshop on Hybrid Systems: Computation and Control. (HSCC'99). Lecture Notes in Computer Science 1569 (1999) 19-30
8. Asarin E., Maler O., Pnueli A., and Sifakis J. Controller synthesis for timed automata. Proc. IFAC Symposium on System Structure and Control (1998) 469-474
9. Behrmann G., Fehnker A., Hune Th., Larsen K.G., Pettersson P., Romijn J., and Vaandrager F. Minimum-cost reachability for priced timed automata. Proc. 4th International Workshop on Hybrid Systems: Computation and Control. (HSCC'01). Lecture Notes in Computer Science 2034 (2001) 147-161
10. Behrmann G., Larsen K.G., and Rasmussen J.I. Priced timed automata: Decidability results, algorithms, and applications. Proc. 3rd International Symposium on Formal Methods for Components and Objects. (FMCO'04). Lecture Notes in Computer Science 3657 (2004) 162-186
11. Bouyer P. Forward analysis of updatable timed automata. Formal Methods in System Design 24 (2004) 281-320
12. Bouyer, P., Th. Brihaye, V. Bruyère and J.-F. Raskin, On the optimal reachability problem (2006), submitted
13. Bouyer, P., Th. Brihaye and N. Markey, Improved undecidability results on weighted timed automata, Information Processing Letters (2006), to appear
14. Bouyer P., Brinksma E., and Larsen K.G. Staying alive as cheaply as possible. Proc. 7th International Workshop on Hybrid Systems: Computation and Control. (HSCC'04). Lecture Notes in Computer Science 2993 (2004) 203-218
15. Bouyer, P., E. Brinksma and K. G. Larsen, Optimal infinite scheduling for multi-priced timed automata, Formal Methods in Systen Design (2005), to appear
16. Bouyer P., Cassez F., Fleury E., and Larsen K.G. Optimal strategies in priced timed game automata. Proc. 24th Conference on Foundations of Software Technology and Theoretical Computer Science. (FST&TCS'04). Lecture Notes in Computer Science 3328 (2004) 148-160
17. Bouyer, P., F. Laroussinie, K. G. Larsen, N. Markey and J. I. Rasmussen, One clock priced timed automata: Model checking and optimal strategies (2006), submitted
18. Brihaye Th., Bruyère V., and Raskin J.-F. Model-checking for weighted timed automata. Proc. Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System. (FORMATS+FTRTFT'04). Lecture Notes in Computer Science 3253 (2004) 277-292
19. Brihaye Th., Bruyère V., and Raskin J.-F. On optimal timed strategies. Proc. 3rd International Conference on Formal Modeling and Analysis of Timed Systems. (FORMATS'05). Lecture Notes in Computer Science 3821 (2005) 49-64
20. Courcoubetis C., and Yannakakis M. Minimum and maximum delay problems in real-time systems. Formal Methods in System Design 1 (1992) 385-415
21. Daws C., Olivero A., Tripakis S., and Yovine S. The tool Kronos. Proc. Hybrid Systems III: Verification and Control. (1995). Lecture Notes in Computer Science 1066 (1996) 208-219
22. Havelund K., Skou A., Larsen K.G., and Lund K. Formal modeling and analysis of an audio/video protocol: An industrial case study using Uppaal. Proc. 18th IEEE Real-Time Systems Symposium. (RTSS'97) (1997) 2-13
23. Henzinger Th.A. The theory of hybrid automata. Proc. 11th Annual Symposim on Logic in Computer Science. (LICS'96) (1996) 278-292
24. Henzinger Th.A., Ho P.-H., and Wong-Toi H. HyTech: A model-checker for hybrid systems. Journal on Software Tools for Technology Transfer 1 (1997) 110-122
25. Henzinger Th.A., and Kopke P.W. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science 221 (1999) 369-392
26. Karp R.M. A characterization of the minimum mean-cycle in a digraph. Discrete Mathematics 23 (1978) 309-311
27. La Torre S., Mukhopadhyay S., and Murano A. Optimal-reachability and control for acyclic weighted timed automata. Proc. 2nd IFIP International Conference on Theoretical Computer Science. (TCS 2002). IFIP Conference Proceedings 223 (2002) 485-497
28. Larsen K.G., Behrmann G., Brinksma E., Fehnker A., Hune Th., Pettersson P., and Romijn J. As cheap as possible: Efficient cost-optimal reachability for priced timed automata. Proc. 13th International Conference on Computer Aided Verification. (CAV'01). Lecture Notes in Computer Science 2102 (2001) 493-505
29. Larsen K.G., Pettersson P., and Yi W. Uppaal in a nutshell. Journal of Software Tools for Technology Transfer 1 (1997) 134-152
30. Larsen K.G., and Rasmussen J.I. Optimal conditional scheduling for multi-priced timed automata. Proc. 8th International Conference on Foundations of Software Science and Computation Structures. (FoSSaCS'05). Lecture Notes in Computer Science 3441 (2005) 234-249
31. Rasmussen J., Larsen K.G., and Subramani K. Resource-optimal scheduling using priced timed automata. Proc. 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. (TACAS'04). Lecture Notes in Computer Science 2988 (2004) 220-235