A. K. Altisen and T. S. , On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems, Proc. World Congress on Formal Methods in the Development of Computing System (FM'99), pp.233-252, 1999.

A. R. Dill-d, A Theory of Timed Automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.

A. R. La and T. S. Pappas-g, Optimal Paths in Weighted Timed Automata, Proc. 4th International Workshop Hybrid Systems, Computation and Control (HSCC'01), pp.49-62, 2001.

A. R. Henzinger-t and . Kupferman-o, Alternating-time temporal logic, Journal of the ACM, vol.49, pp.672-713, 2002.

A. R. Bernadsky-m and . Madhusudan-p, Optimal Reachability in Weighted Timed Games, Proc. 31st International Colloquium on Automata, Languages and Programming, pp.122-133, 2004.

A. T. Behrmann-g, . J. Bengtsson, D. R. D-'argenio-p, F. A. Hune-t, J. B. Larsen-k et al., UPPAAL ? Now, Next, and Future, Proc. Modelling and Verification of Parallel Processes (MOVEP2k), pp.99-124, 2001.

A. A. and V. A. Walukiewicz-i, Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.1, issue.303, pp.7-34, 2003.

A. E. Asarin, P. A. Maler-o, and S. J. , Controller Synthesis for Timed Automata, Proc. IFAC Symposium on System Structure and Control, pp.469-474, 1998.

A. E. Maler-o, As Soon as Possible: Time Optimal Control for Timed Automata, Proc. 2nd International Workshop Hybrid Systems, Computation and Control (HSCC'99), pp.19-30, 1999.

F. G. Behrmann, . Hune-t, . G. Larsen-k, . Pettersson-p, . J. Rom-ijn et al., Efficient Guiding Towards Cost-Optimality in UPPAAL, Proc. 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), pp.174-188, 2001.
DOI : 10.1007/3-540-45319-9_13

F. G. Behrmann, . Hune-t, . G. Larsen-k, . Pettersson-p, . J. Rom-ijn et al., Minimum-Cost Reachability for Priced Timed Automata, Proc. 4th International Workshop Hybrid Systems, Computation and Control (HSCC'01), pp.147-161, 2001.
DOI : 10.7146/brics.v8i3.20457

B. P. D-'souza-d, . Madhusudan-p, and . Petit-a, Timed Control with Partial Observability, Proc. 15th International Conference on Computer Aided Verification (CAV'03), pp.180-192, 2003.

. P. Bouyer, . Brinksma-e, and . G. Larsen-k, Staying Alive as Cheaply as Possible, Proc. 7th International Conference Hybrid Systems, Computation and Control, pp.203-218, 2004.
DOI : 10.1007/978-3-540-24743-2_14

C. P. Bouyer, . Fleury-e, and . G. Larsen-k, Optimal Strategies in Priced Timed Game Automata, BRICS Reports Series BRICS, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00350483

C. P. Bouyer, . Fleury-e, and . G. Larsen-k, Optimal Strategies in Priced Timed Game Automata, Proc. 24th Conference on Fundations of Software Technology and Theoretical Computer Science, pp.148-160, 2004.
DOI : 10.1007/978-3-540-30538-5_13
URL : https://hal.archives-ouvertes.fr/hal-00350483

C. P. Bouyer, . Fleury-e, and . G. Larsen-k, Synthesis of Optimal Strategies Using HyTech, Proc. Workshop on Games in Design and Verification, pp.11-31, 2005.
DOI : 10.1016/j.entcs.2004.07.006
URL : https://hal.archives-ouvertes.fr/hal-00350478

C. P. Bouyer and . Laroussinie-f, Modal Logics for Timed Control, Proc. 16th International Conference on Concurrency Theory (CONCUR'05), pp.81-94, 2005.
DOI : 10.1007/11539452_10
URL : https://hal.archives-ouvertes.fr/inria-00368581

C. P. Bouyer and T. S. Krichen-m, Observation partielle des syst??mes temporis??s, Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), pp.381-393, 2005.
DOI : 10.3166/jesa.39.381-393

. P. Bouyer and C. F. Bozzelli-l, Controller Synthesis for MTL Specifications, Proc. 17th International Conference on Concurrency Theory (CONCUR'06), pp.450-464, 2006.
DOI : 10.1007/11817949_30

. P. Bouyer and C. F. Brihaye-t, Control in o-minimal Hybrid Systems, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), pp.367-378
DOI : 10.1109/LICS.2006.22

. P. Bouyer, . Brihaye-t, and . Markey-n, Improved undecidability results on weighted timed automata, Information Processing Letters, vol.98, issue.5, pp.188-194, 2006.
DOI : 10.1016/j.ipl.2006.01.012
URL : https://hal.archives-ouvertes.fr/hal-01194609

C. P. Bouyer, On the Control of Timed and Hybrid Systems, EATCS Bulletin, vol.89, pp.79-96, 2006.

. P. Bouyer, . G. Larsen-k, and R. J. Markey-n, Almost Optimal Strategies in One Clock Priced Timed Games, Proc. 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), pp.345-356, 2006.
DOI : 10.1007/11944836_32

. P. Bouyer and R. P. Markey-n, Robust Model-Checking of Linear-Time Properties in Timed Automata, Proc. 7th Latin American Symposium on Theoretical Informatics, pp.238-249, 2006.
DOI : 10.1007/11682462_25
URL : https://hal.archives-ouvertes.fr/hal-01194610

B. P. Brihaye-t and C. F. , Weighted O-Minimal Hybrid Systems are more Decidable than Weighted Timed Automata!, Proc. Symposium on Logical Foundations of Computer Science (LFCS'07), Lecture Notes in Computer Science, 2007.

. P. Bouyer, . Brinksma-e, and . G. Larsen-k, Optimal infinite scheduling for multi-priced timed automata, Formal Methods in System Design, pp.2-23, 2008.
DOI : 10.1007/s10703-007-0043-4

. P. Bouyer and R. P. Markey-n, Robust Analysis of Timed Automata Via Channel Machines, Proc. 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), pp.157-171, 2008.
DOI : 10.1007/978-3-540-78499-9_12
URL : https://hal.archives-ouvertes.fr/hal-01194593

T. Brihaye and R. J. Bruyère-v, Model-Checking for Weighted Timed Automata, Proc Lecture Notes in Computer Science, vol.3253, pp.277-292, 2004.
DOI : 10.1007/978-3-540-30206-3_20

. T. Brihaye and R. J. Bruyère-v, On Optimal Timed Strategies, Proc. 3th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05), pp.49-64, 2005.
DOI : 10.1007/11603009_5

. T. Brihaye, . Laroussinie-f, . Markey-n, and . Oreiby-g, Timed Concurrent Game Structures, International Conference on Concurrency Theory (CONCUR'07), pp.445-459, 2007.
DOI : 10.1007/978-3-540-74407-8_30
URL : https://hal.archives-ouvertes.fr/hal-01194602

C. F. Henzinger-t and R. J. , A Comparison of Control Problems for Timed and Hybrid Systems, Proc. 5th International Workshop on Hybrid Systems, Computation and Control (HSCC'02), pp.134-148, 2002.

C. F. , D. A. Fleury-e, and L. G. Larsen-k, Efficient On-The- Fly Algorithms for the Analysis of Timed Games, Proc. 16th International Conference on Concurrency Theory (CONCUR'05), pp.66-80, 2005.

. F. Cassez, Efficient On-the-Fly Algorithms for Partially Observable Timed Games, Proc. 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'07), pp.5-24, 2007.
DOI : 10.1007/978-3-540-75454-1_3
URL : https://hal.archives-ouvertes.fr/hal-00268001

C. F. , D. A. Larsen-k, L. D. , and R. J. , Timed Control with Observation Based and Stuttering Invariant Strategies, Proc. 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), pp.307-321, 2007.

C. K. Doyen-l and R. A. Henzinger-t, Algorithms for Omega-Regular Games with Imperfect Information, Proc. 20th International Workshop on Computer Science Logic (CSL'06), pp.287-302, 2006.

. Dew, . M. De, . Doyen-l, and R. J. Markey-n, Robustness and Implementability of Timed Automata Joint International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS'04) and Formal Techniques in Real-Time and Fault-Tolerant Systems, Proc, pp.118-133, 2004.

. Dew, . M. De, and R. J. Doyen-l, Almost ASAP Semantics: From Timed Models to Timed Implementations, Proc. 7th International Workshop Hybrid Systems, Computation and Control, pp.296-310, 2004.

. Dew, . M. De, and R. J. Doyen-l, Almost ASAP Semantics: From Timed Models to Timed Implementations, Formal Aspects of Computing, vol.17, issue.3, pp.319-341, 2005.

. Dew, . M. De, and R. J. Doyen-l, Systematic Implementation of Real- Time Models, Proc. International Symposium of Formal Methods Europe (FM'05), pp.139-156, 2005.

D. Wulf, M. Doyen-l, and R. J. , A Lattice Theory for Solving Games of Imperfect Information, Proc. 9th International Workshop Hybrid Systems, Computation and Control (HSCC'06), pp.153-168, 2006.
DOI : 10.1007/11730637_14

. ]. Madhusudan-p, Timed Control Synthesis for External Specifications, Proc. 19th International Symposium on Theoretical Aspects of Computer Science (STACS'02), pp.571-582, 2002.

. M. Faëlla, T. S. La, and . Murano-a, Automata-Theoretic Decision of Timed Games, Proc. 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI'02) Control of Timed Systems, pp.240-254, 2002.

. M. Faëlla, T. S. La, and . Murano-a, Dense real-time games, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, pp.167-176, 2002.
DOI : 10.1109/LICS.2002.1029826

H. T. Ho-p and . H. Wong-toi, HYTECH: A Model-Checker for Hybrid Systems, Journal on Software Tools for Technology Transfer, vol.1, pp.1-2, 1997.

H. T. Kopke-p and P. A. Varaiya-p, What's decidable about hybrid automata?, Journal of Computer and System Sciences, vol.57, pp.94-124, 1998.

H. T. Horowitz-b and . Majumdar-r, Rectangular Hybrid Games, Proc. 10th International Conference on Concurrency Theory (CONCUR'99), pp.320-335, 1999.

H. T. Kopke-p, . A. Henzinger-t, and . S. Prabhu-v, Discrete-time control for rectangular hybrid automata Timed Alternating-Time Temporal Logic, Proc. 4th International Conferences on Formal Modelling and Analysis of Timed Systems, pp.369-392, 1999.

H. T. Prabhu-v, Timed Alternating-Time Temporal Logic, Proc. 4th International Conferences on Formal Modelling and Analysis of Timed Systems, pp.1-17, 2006.

. Hoffmann-g and . H. Wong-toi, The input-output control of real-time discreteevent systems, Proc. 13th Annual Real-time Systems Symposium, pp.256-265, 1992.

. G. Lafferriere, . Pappas-g, and . Sastry-s, O-Minimal Hybrid Systems, Mathematics of Control, Signals, and Systems, vol.13, issue.1, pp.1-21, 2000.
DOI : 10.1007/PL00009858

. F. Laroussinie and . G. Larsen-k, CMC: A Tool for Compositional Model-Checking of Real-Time Systems, Proc. IFIP Joint International Conference on Formal Description Techniques & Protocol Specification, Testing, and Verification (FORTE- PSTV'98), pp.439-456, 1998.
DOI : 10.1007/978-0-387-35394-4_27

. F. Laroussinie, . Markey-n, and . Oreiby-g, Model-Checking Timed ATL for Durational Concurrent Game Structures, Proc. 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), pp.245-259, 2006.
DOI : 10.1007/11867340_18
URL : https://hal.archives-ouvertes.fr/hal-01194613

T. S. La, . Mukhopadhyay-s, and . Murano-a, Optimal-Reachability and Control for Acyclic Weighted Timed Automata, Proc. 2nd IFIP International Conference on Theoretical Computer Science (TCS'02) IFIP Conference Proceedings, pp.485-497, 2002.

. Liu and S. S. Liu-x, Simple linear-time algorithms for minimal fixed points, Proc. 26th International Conference on Automata, Languages and Programming (IC- ALP'98), pp.53-66, 1998.
DOI : 10.1007/BFb0055040

M. P. Ramadge-p and W. W. , Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, pp.1202-1218, 1974.
DOI : 10.1137/0325066

S. P. Bérard-b, . Bidoit-m, . Laroussinie-f, and . Petit-a, Vérification de logiciels : Techniques et outils de model-checking, 1999.