Minimum-time reachability in timed games

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4596 LNCS, Issue , 2007, Pages 825-837

  Brihaye, Thomas ^a   Henzinger, Thomas A ^b   Prabhu, Vinayak S ^c   Raskin, Jean François ^d  

^a CNRS   (France)

^b EPFL   (Switzerland)

^c SWISS FEDERAL INSTITUTE OF TECHNOLOGY   (Switzerland)

^d UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATA STRUCTURES; SYNTACTICS;

CLOCK-REGION EQUIVALENCE; FIXPOINT EXPRESSION; SYNTACTIC RESTRICTION; TARGET LOCATION;

GAME THEORY;

EID: 38149082173     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73420-8_71     Document Type: Conference Paper

References (22)

1. Adler, B., de Alfaro, L., Faella, M.: Average reward timed games. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 65-80. Springer, Heidelberg (2005)
2. Alur, R., Bernadsky, M., Madhusudan, P.: Optimal reachability for weighted timed games. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 122-133. Springer, Heidelberg (2004)
3. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183-235 (1994)
4. Alur, R., Henzinger, T.: Modularity for timed and hybrid systems. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 74-88. Springer, Heidelberg (1997)
5. Asarin, E., Maler, O.: As soon as possible: Time optimal control for timed automata. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol. 1569, pp. 19-30. Springer, Heidelberg (1999)
6. Bouyer, P., Cassez, F., Fleury, E., Larsen, K.C.: Optimal strategies in priced timed game automata. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol. 3328, pp. 148-160. Springer, Heidelberg (2004)
7. Bouyer, P., D'Souza, D., Madhusudan, P., Petit, A.: Timed control with partial observability. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 180-192. Springer, Heidelberg (2003)
8. Brihaye, T., Bruyère, V., Raskin, J.: On optimal timed strategies. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 49-64. Springer, Heidelberg (2005)
9. Cassez, F., David, A., Fleury, E., Larsen, K., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 66-80. Springer, Heidelberg (2005)
10. Cassez, F., Henzinger, T., Raskin, J.-F.: A comparison of control problems for timed and hybrid systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 134-148. Springer, Heidelberg (2002)
11. Courcoubetis, C., Yannakakis, M.: Minimum and maximum delay problems in real-time systems. Formal Methods in System Design 1(4), 385-415 (1992)
12. de Alfaro, L., Faella, M., Henzinger, T., Majumdar, R., Stoelinga, M.: The element of surprise in timed games. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 144-158. Springer, Heidelberg (2003)
13. de Alfaro, L., Henzinger, T., Majumdar, R.: From verification to control: Dynamic programs for omega-regular objectives. In: LICS 2001, pp. 279-290. IEEE Computer Society Press, Los Alamitos (2001)
14. D'Souza, D., Madhusudan, P.: Timed control synthesis for external specifications. In: Alt, H., Ferreira, A. (eds.) STACS 2002. LNCS, vol. 2285, pp. 571-582. Springer, Heidelberg (2002)
15. Faella, M., Torre, S.L., Murano, A.: Dense real-time games. In: LICS 2002, pp. 167-176. IEEE Computer Society Press, Los Alamitos (2002)
16. Henzinger, T., Kopke, P.: Discrete-time control for rectangular hybrid automata. Theoretical Computer Science 221, 369-392 (1999)
17. Henzinger, T., Prabhu, V.: Timed alternating-time temporal logic. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 1-17. Springer, Heidelberg (2006)
18. Jurdziòski, M., Trivedi, A.: Reachability-time games on timed automata. In: ICALP 2007. LNCS, Springer, Heidelberg (2007)
19. Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems (an extended abstract). In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 229-242. Springer, Heidelberg (1995)
20. Pnueli, A., Asarin, E., Maler, O., Sifakis, J.: Controller synthesis for timed automata. In: Proc. System Structure and Control, Elsevier, Amsterdam (1998)
21. Segala, R., Gawlick, R., Søgaard-Andersen, J., Lynch, N.: Liveness in timed and untimed systems. Inf. Comput. 141(2), 119-171 (1998)
22. Wong-Toi, H., Hoffmann, C.: The control of dense real-time discrete event systems. In: Proc. of 30th Conf. Decision and Control, pp. 1527-1528 (1991)