J. Aubin and A. Cellina, Differential inclusions: Set-valued maps and viability theory, 1984.

S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan, Linear matrix inequalities in system and control theory, vol.15, 1994.

G. Chesi, Estimating the domain of attraction for uncertain polynomial systems, Automatica, vol.40, issue.11, pp.1981-1986, 2004.

J. Carpentier and N. Mansard, Analytical derivatives of rigid body dynamics algorithms, Robotics: Science and Systems, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01790971

, Multicontact locomotion of legged robots, IEEE Transactions on Robotics, vol.34, issue.6, pp.1441-1460, 2018.

J. Carpentier, F. Valenza, and N. Mansard, Pinocchio: fast forward and inverse dynamics for polyarticulated systems, pp.2015-2019

P. Giesl and S. Hafstein, Review on computational methods for Lyapunov functions, Discrete and Continuous Dynamical Systems-Series B, vol.20, issue.8, pp.2291-2331, 2015.

M. Giftthaler, M. Neunert, M. Stäuble, M. Frigerio, C. Semini et al., Automatic differentiation of rigid body dynamics for optimal control and estimation, Advanced Robotics, vol.31, issue.22, pp.1225-1237, 2017.

K. Glover, D. C. Sefton, and . Mcfarlane, A tutorial on loop shaping using H-infinity robust stabilization, IFAC Proceedings Volumes, vol.23, pp.117-126, 1990.

A. Tor and . Johansen, Computation of Lyapunov functions for smooth nonlinear systems using convex optimization, Automatica, vol.36, issue.11, pp.1617-1626, 2000.

D. Liberzon, Calculus of variations and optimal control theory: a concise introduction, 2011.

M. Steven, J. J. Lavalle, and . Kuffner, Rapidly-exploring random trees: Progress and prospects, Algorithmic and Computational Robotics: New Directions, pp.293-308, 2001.

J. Mockus, Bayesian approach to global optimization: Theory and applications, vol.37, 2012.

Y. Nesterov, A. Nemirovskii-;-adam-paszke, S. Gross, F. Massa, A. Lerer et al., PyTorch: An imperative style, high-performance deep learning library, Advances in Neural Information Processing Systems, vol.32, pp.8024-8035, 1994.

+. Singh, M. Chen, L. Sylvia, C. J. Herbert, M. Tomlin et al., Robust tracking with model mismatch for fast and safe planning: an SOS optimization approach, International Workshop on the Algorithmic Foundations of Robotics, pp.545-564, 2018.

J. Slotine and W. Li, Applied nonlinear control, vol.199, 1991.

S. Richard and . Sutton, Generalization in reinforcement learning: Successful examples using sparse coarse coding, Advances in Neural Information Processing Systems, pp.1038-1044, 1996.

I. R. Mark-m-tobenkin, R. Manchester, and . Tedrake, Invariant funnels around trajectories using sum-of-squares programming, IFAC Proceedings Volumes, vol.44, pp.9218-9223, 2011.

R. Tedrake, R. Ian, M. Manchester, J. W. Tobenkin, and . Roberts, LQR-trees: Feedback motion planning via sums-of-squares verification, The International Journal of Robotics Research, vol.29, issue.8, pp.1038-1052, 2010.

U. Topcu and A. Packard, Stability region analysis for uncertain nonlinear systems, IEEE Conference on Decision and Control, pp.1693-1698, 2007.