A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
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
Controller synthesis for timed automata, SSSC'98, pp.469-474, 1998. ,
Viability tubes, Modelling and Adaptive Control, pp.27-47, 1988. ,
DOI : 10.1007/978-0-8176-4910-4_13
UPPAAL-Tiga: Time for playing games! In: CAV'07, LNCS, vol.4590, pp.121-125, 2007. ,
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
Application of Model-Checking Technology to Controller Synthesis, FMCO'10, pp.336-351, 2012. ,
DOI : 10.1109/TAC.2006.886494
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
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
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
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
Trajectory Based Verification Using Local Finite-Time Invariance, HSCC'09, pp.223-236, 2009. ,
DOI : 10.1137/1.9781611970777
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
Sequential composition of robust controller specifications, ICRA'12, pp.5190-5195, 2012. ,
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
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
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
Approximating Continuous Systems by Timed Automata, FMSB'08. LNBI, pp.77-89, 2008. ,
DOI : 10.1007/978-3-540-68413-8_6
From timed to hybrid systems In: Real-time: theory in practice, LNCS, vol.600, pp.447-484, 1992. ,
The mechanics of manipulation, Proceedings. 1985 IEEE International Conference on Robotics and Automation, pp.544-548, 1985. ,
DOI : 10.1109/ROBOT.1985.1087242
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
Timed game abstraction of control systems, 2010. ,
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
Mathematical control theory: deterministic finite dimensional systems, 1998. ,
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