Playing games with timed games

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 3, Issue PART 1, 2009, Pages 238-243

  Chatain, Thomas ^a   David, Alexandre ^b   Larsen, Kim G ^b  

^a CNRS   (France)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

Formal verification tool; Simulation; Timed automata; Timed games; Uppaal

Indexed keywords

AUTOMATA THEORY; HYBRID SYSTEMS; ROBOTS;

FORMAL VERIFICATION TOOLS; SIMULATION; TIMED AUTOMATA; TIMED GAMES; UPPAAL;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 79960969139     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090916-3-es-3003.00042     Document Type: Conference Paper

References (16)

1. Alur, R., Courcoubetis, C., and Dill, D.L. (1993). Model-checking in dense real-time. Inf. Comput., 104(1), 2-34.
2. Alur, R. and Dill, D. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183-235.
3. Alur, R., Henzinger, T.A., and Kupferman, O. (1997). Alternating-time temporal logic. In FOCS, 100-109.
4. Alur, R., Henzinger, T.A., Kupferman, O., and Vardi, M.Y. (1998). Alternating refinement relations. In CONCUR, volume 1466 of LNCS, 163-178. Springer. (Pubitemid 128125355)
5. Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., and Yovine, S. (1998). Kronos: a model-checking tool for real-time systems. In CAV, volume 1427 of LNCS.
6. Cassez, F., David, A., Fleury, E., Larsen, K.G., and Lime, D. (2005). Efficient on-the-fly algoriths for the analysis of timed games. In CONCUR, volume 3653 of LNCS.
7. Cassez, F., David, A., Larsen, K.G., Lime, D., and Raskin, J.F. (2007). Timed control with observation based and stuttering invariant strategies. In ATVA, volume 4762 of LNCS, 192-206. Springer.
8. Cerans, K. (1992). Decidability of bisimulation equivalences for parallel timer processes. In CAV, volume 663 of LNCS. Springer.
9. Cerans, K., Godskesen, J.C., and Larsen, K.G. (1993). Timed modal specification - theory and tools. In CAV, volume 697 of LNCS. Springer.
10. Chatain, Th., David, A., and Larsen, K.G. (2008). Playing games with timed games. Research Report LSV-08-34, LSV, ENS Cachan, France.
11. de Alfaro, L., Faella, M., Henzinger, T.A., Majumdar, R., and Stoelinga, M. (2003). The element of surprise in timed games. In CONCUR 2003 - Concurrency Theory, volume 2761 of LNCS, 144-158.
12. Jensen, H.E., Larsen, K.G., and Skou, A. (2000). Scaling up Uppaal automatic verification of real-time systems using compositionality and abstraction. In FTRTFTS, volume 1926 of LNCS. Springer.
13. Jessen, J.J., Rasmussen, J.I., Larsen, K.G., and David, A. (2007). Guided controller synthesis for climate controller using uppaal-tiga. In FORMATS, volume 4763 of LNCS. Springer.
14. Larsen, K.G., Pettersson, P., and Yi, W. (1997). Uppaal in a nutshell. Journal of Software Tools for Technology Transfer (STTT), 1(1-2), 134-152.
15. Maler, O., Pnueli, A., and Sifakis, J. (1995). On the synthesis of discrete controllers for timed systems. In STACS, volume 900 of LNCS. Springer.
16. Weise, C. and Lenzkes, D. (1997). Efficient scaling-invariant checking of timed bisimulation. In STACS, volume 1200 of LNCS. Springer.