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
URL : http://doi.org/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
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
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
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
URL : http://arxiv.org/abs/1503.07193
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
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
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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.737
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
Nonlinear control synthesis by sum of squares optimization: A Lyapunov-based approach, Control Conference, pp.157-165, 2004. ,
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
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