Trading infinite memory for uniform randomness in timed games

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

Volumn 4981 LNCS, Issue , 2008, Pages 87-100

  Chatterjee, Krishnendu ^a   Henzinger, Thomas A ^a,b   Prabhu, Vinayak S ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; RANDOM PROCESSES;

APPROPRIATE MODELS; INFINITE MEMORY; RANDOMIZED STRATEGY; REAL TIME CONTROLLERS; SAFETY OBJECTIVES; TIME CONTROLLER; TIMED AUTOMATA; WINNING STRATEGY;

CONTROLLERS;

EID: 70349860608     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_7     Document Type: Conference Paper

References (20)

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., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183-235 (1994).
3. Alur, R., Henzinger, T.A.: Modularity for timed and hybrid systems. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.1243, pp. 74-88 Springer, Heidelberg (1997).
4. 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).
5. Bouyer, P., Cassez, F., Fleury, E., Larsen, K.G.: Optimal strategies in priced timed game automata. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.3328, pp. 148-160. Springer, Heidelberg (2004).
6. 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).
7. Cassez, F., David, A., Fleury, E., Larsen, K.G., 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).
8. Chatterjee, K., Henzinger, T.A., Prabhu, V.S.: Trading infinite memory for uniform randomness in timed games. Technical Report UCB/EECS-2008-2014, EECS Department, University of California, Berkeley (January 2008).
9. de Alfaro, L., Faella, M., Henzinger, T.A., 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).
10. de Alfaro, L., Henzinger, T.A., Majumdar, R.: Symbolic algorithms for infinitestate games. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.2154, pp. 536-550. Springer, Heidelberg (2001).
11. 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).
12. Faella, M., La Torre, S., Murano, A.: Automata-theoretic decision of timed games. In: Cortesi, A. (ed.) VMCAI 2002. LNCS, vol.2294, pp. 94-108. Springer, Heidelberg (2002).
13. Faella, M., La Torre, S., Murano, A.: Dense real-time games. In: LICS 2002, pp. 167-176. IEEE Computer Society, Los Alamitos (2002).
14. Henzinger, T.A., Kopke, P.W.: Discrete-time control for rectangular hybrid automata. Theoretical Computer Science 221, 369-392 (1999).
15. Henzinger, T.A., Prabhu, V.S.: Timed alternating-time temporal logic. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.4202, pp. 1-17. Springer, Heidelberg (2006).
16. 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).
17. Pnueli, A., Asarin, E., Maler, O., Sifakis, J.: Controller synthesis for timed automata. In: Proc. System Structure and Control, Elsevier, Amsterdam (1998).
18. Segala, R., Gawlick, R., Søgaard-Andersen, J.F., Lynch, N.A.: Liveness in timed and untimed systems. Inf. Comput. 141(2), 119-171 (1998).
19. Thomas, W.: Languages, automata, and logic. In: Handbook of Formal Languages. Vol.3, Beyond Words, ch. 7, pp. 389-455. Springer, Heidelberg (1997).
20. Wong-Toi, H., Hoffmann, G.: The control of dense real-time discrete event systems. In: Proc. of 30th Conf. Decision and Control, pp. 1527-1528 (1991).