Y. Abdedda¨?mabdedda¨?m, E. Asarin, and O. Maler, Scheduling with timed automata, Theoretical Computer Science, vol.354, issue.2, pp.272-300, 2006.
DOI : 10.1016/j.tcs.2005.11.018

K. Altisen, G. Gossler, A. Pnueli, J. Sifakis, S. Tripakis et al., A framework for scheduler synthesis, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), pp.154-163, 1999.
DOI : 10.1109/REAL.1999.818838

K. Altisen and S. Tripakis, Tools for controller synthesis of timed systems, Proc. 2nd Workshop on Real-Time Tools (RT-TOOLS'02) Proc. published as Technical, 2002.

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

R. Alur, S. L. Torre, and G. J. Pappas, Optimal paths in weighted timed automata, Proc. 4th International Workshop on Hybrid Systems: Computation and Control (HSCC'01), pp.49-62, 2001.

E. Asarin and O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata, Proc. 2nd International Workshop on Hybrid Systems: Computation and Control (HSCC'99), volume 1569 of LNCS, pp.19-30, 1999.
DOI : 10.1007/3-540-48983-5_6

E. Asarin, O. Maler, A. Pnueli, and J. Sifakis, Controller synthesis for timed automata, Proc. IFAC Symposium on System Structure and Control, pp.469-474, 1998.

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen et al., Uppaaltiga: Time for playing games, Proceedings of 19th International Conference on Computer Aided Verification (CAV'07), pp.121-125, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00350466

P. Bouyer, F. Cassez, E. Fleury, and K. Larsen, Optimal Strategies in Priced Timed Game Automata, BRICS Reports Series, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00350483

P. Bouyer and F. Chevalier, On the control of timed and hybrid systems, EATCS Bulletin, vol.89, pp.79-96, 2006.

P. Bouyer, D. Souza, P. Madhusudan, and A. Petit, Timed Control with Partial Observability, Proceedings of the 15th International Conference on Computer Aided Verification (CAV'03), pp.180-192, 2003.
DOI : 10.1007/978-3-540-45069-6_18

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: a Model-Checking Tool for Real-Time Systems, Proc. 10 th Conf. on Computer Aided Verification (CAV'98), volume 1427 of LNCS, pp.546-550, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00374788

F. Cassez, A. David, E. Fleury, K. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, Proceedings of the 16th International Conference on Concurrency Theory (CON- CUR'05), pp.66-80, 2005.
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

F. Cassez, A. David, K. Larsen, D. Lime, and J. Raskin, Timed Control with Observation Based and Stuttering Invariant Strategies, Proc. of the 5th Int. Symp. on Automated Technology for Verif ication and Analysis (ATVA'2007), 2007.
DOI : 10.1007/978-3-540-75596-8_15
URL : https://hal.archives-ouvertes.fr/inria-00363028

F. Cassez, T. A. Henzinger, and J. Raskin, A Comparison of Control Problems for Timed and Hybrid Systems, Proc. 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02), volume 2289 of LNCS, pp.134-148, 2002.
DOI : 10.1007/3-540-45873-5_13

K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, Algorithms for omegaregular games with imperfect information, CSL, pp.287-302, 2006.

L. De-alfaro, T. A. Henzinger, and R. Majumdar, Symbolic algorithms for infinitestate games, Proc. 12th International Conference on Concurrency Theory (CONCUR'01), pp.536-550, 2001.

S. , L. Torre, S. Mukhopadhyay, and A. Murano, Optimal-reachability and control for acyclic weighted timed automata, Proc. 2nd IFIP International Conference on Theoretical Computer Science IFIP Conference Proceedings, pp.485-497, 2002.

F. Laroussinie and K. G. Larsen, CMC: A Tool for Compositional Model-Checking of Real-Time Systems, Proceedings of IFIP TC6 WG6.1 Joint Int. Conf. FORTE'XI and PSTV'XVIII IFIP Conference Proceedings, pp.439-456, 1998.
DOI : 10.1007/978-0-387-35394-4_27

F. Laroussinie, K. G. Larsen, and C. Weise, From timed automata to logic ? and back, Proc. 20th International Symposium on Mathematical Foundations of Computer Science (MFCS'95), pp.529-539, 1995.

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

X. Liu and S. Smolka, Simple linear-time algorithms for minimal fixed points, Proc. 26 th Conf. on Automata, Languages and Programming (ICALP'98), volume 1443 of LNCS, pp.53-66, 1998.
DOI : 10.1007/BFb0055040

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, Proc. 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95), pp.229-242, 1995.
DOI : 10.1007/3-540-59042-0_76

P. Ramadge and W. Wonham, The control of discrete event systems, Proc. of the IEEE, pp.81-98, 1989.
DOI : 10.1109/5.21072

J. Rasmussen, K. G. Larsen, and K. Subramani, Resource-Optimal Scheduling Using Priced Timed Automata, Proc. 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.220-235, 2004.
DOI : 10.1007/978-3-540-24730-2_19

W. Thomas, On the synthesis of strategies in infinite games, Proc. 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95), pp.1-13, 1995.
DOI : 10.1007/3-540-59042-0_57

S. Tripakis and K. Altisen, On-the-Fly Controller Synthesis for Discrete and Timed Systems, Proc. of World Congress on Formal Methods (FM'99), pp.233-252, 1999.

H. Wong-toi, The synthesis of controllers for linear hybrid automata, Proceedings of the 36th IEEE Conference on Decision and Control, pp.4607-4612, 1997.
DOI : 10.1109/CDC.1997.649708

M. D. Wulf, L. Doyen, and J. Raskin, A Lattice Theory for Solving Games of Imperfect Information, HSCC, pp.153-168, 2006.
DOI : 10.1007/11730637_14