R. Alur and D. L. 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

E. Asarin, O. Maler, and A. Pnueli, Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, vol.138, issue.1, pp.35-65, 1995.
DOI : 10.1016/0304-3975(94)00228-B

URL : http://doi.org/10.1016/0304-3975(94)00228-b

E. Asarin, O. Maler, A. Pnueli, and J. Sifakis, Controller synthesis for timed automata, SSSC'98, pp.469-474, 1998.

J. P. Aubin, Viability tubes, Modelling and Adaptive Control, pp.27-47, 1988.
DOI : 10.1007/978-0-8176-4910-4_13

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., UPPAAL-Tiga: Time for playing games! In: CAV'07, LNCS, vol.4590, pp.121-125, 2007.

P. Bouyer, C. Dufourd, E. Fleury, and A. Petit, Updatable timed automata, Theoretical Computer Science, vol.321, issue.2-3, pp.291-345, 2004.
DOI : 10.1016/j.tcs.2004.04.003

URL : https://hal.archives-ouvertes.fr/hal-00350196

P. Bouyer, U. Fahrenberg, K. G. Larsen, and N. Markey, Quantitative analysis of real-time systems using priced timed automata, Communications of the ACM, vol.54, issue.9, pp.78-87, 2011.
DOI : 10.1145/1995376.1995396

URL : https://hal.archives-ouvertes.fr/hal-01088030

P. Bouyer, N. Markey, N. Perrin, and P. Schlehuber-caissier, Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels, FORMATS'15, pp.60-75, 2015.
DOI : 10.1007/978-3-319-22975-1_5

URL : https://hal.archives-ouvertes.fr/hal-01395104

A. David, J. D. Grunnet, J. J. Jessen, K. G. Larsen, and J. I. Rasmussen, Application of Model-Checking Technology to Controller Synthesis, FMCO'10, pp.336-351, 2012.
DOI : 10.1109/TAC.2006.886494

J. Decastro and H. Kress-gazit, Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors, The International Journal of Robotics Research, vol.57, issue.7, pp.378-394, 2014.
DOI : 10.1017/CBO9780511546877

P. S. Duggirala, S. Mitra, and M. Viswanathan, Verification of annotated models from executions, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-10, 2013.
DOI : 10.1109/EMSOFT.2013.6658604

E. Frazzoli, M. A. Dahleh, and E. Feron, Maneuver-based motion planning for nonlinear systems with symmetries, IEEE Transactions on Robotics, vol.21, issue.6, pp.1077-1091, 2005.
DOI : 10.1109/TRO.2005.852260

J. Fu and U. Topcu, Computational methods for stochastic control with metric interval temporal logic specifications, 2015 54th IEEE Conference on Decision and Control (CDC), 2015.
DOI : 10.1109/CDC.2015.7403395

URL : http://arxiv.org/abs/1503.07193

A. A. Julius and G. J. Pappas, Trajectory Based Verification Using Local Finite-Time Invariance, HSCC'09, pp.223-236, 2009.
DOI : 10.1137/1.9781611970777

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.7132

P. Koiran, M. Cosnard, and M. Garzon, Computability with low-dimensional dynamical systems, Theoretical Computer Science, vol.132, issue.1-2, pp.113-128, 1994.
DOI : 10.1016/0304-3975(94)90229-1

URL : http://doi.org/10.1016/0304-3975(94)90229-1

L. Ny, J. L. Pappas, and G. J. , Sequential composition of robust controller specifications, ICRA'12, pp.5190-5195, 2012.

J. Liu and P. Prabhakar, Switching control of dynamical systems from metric temporal logic specifications, 2014 IEEE International Conference on Robotics and Automation (ICRA), pp.5333-5338, 2014.
DOI : 10.1109/ICRA.2014.6907643

A. Majumdar, A. A. Ahmadi, and R. Tedrake, Control design along trajectories with sums of squares programming, 2013 IEEE International Conference on Robotics and Automation, pp.4054-4061, 2013.
DOI : 10.1109/ICRA.2013.6631149

A. Majumdar and R. Tedrake, Robust Online Motion Planning with Regions of Finite Time Invariance, WAFR'12. STAR, pp.543-558, 2013.
DOI : 10.1007/978-3-642-36279-8_33

O. Maler and G. Batt, Approximating Continuous Systems by Timed Automata, FMSB'08. LNBI, pp.77-89, 2008.
DOI : 10.1007/978-3-540-68413-8_6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.737

O. Maler, Z. Manna, and A. Pnueli, From timed to hybrid systems In: Real-time: theory in practice, LNCS, vol.600, pp.447-484, 1992.

M. T. Mason, The mechanics of manipulation, Proceedings. 1985 IEEE International Conference on Robotics and Automation, pp.544-548, 1985.
DOI : 10.1109/ROBOT.1985.1087242

S. Prajna, A. Papachristodoulou, and F. Wu, Nonlinear control synthesis by sum of squares optimization: A Lyapunov-based approach, Control Conference, pp.157-165, 2004.

M. M. Quottrup, T. Bak, and R. I. Zamanabadi, Multi-robot planning : a timed automata approach, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004, pp.4417-4422, 2004.
DOI : 10.1109/ROBOT.2004.1302413

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.8765

C. Sloth and R. Wisniewski, Timed game abstraction of control systems, 2010.

C. Sloth and R. Wisniewski, Complete abstractions of dynamical systems by timed automata, Nonlinear Analysis: Hybrid Systems, vol.7, issue.1, pp.80-100, 2013.
DOI : 10.1016/j.nahs.2012.05.003

E. D. Sontag, Mathematical control theory: deterministic finite dimensional systems, 1998.

R. Tedrake, I. R. Manchester, M. Tobenkin, and J. W. Roberts, LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification, The International Journal of Robotics Research, vol.44, issue.10, pp.1038-1052, 2010.
DOI : 10.1177/0278364910369189