, Differential inclusions: Set-valued maps and viability theory, 1984.
, Linear matrix inequalities in system and control theory, vol.15, 1994.
Estimating the domain of attraction for uncertain polynomial systems, Automatica, vol.40, issue.11, pp.1981-1986, 2004. ,
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.
Pinocchio: fast forward and inverse dynamics for polyarticulated systems, pp.2015-2019 ,
Review on computational methods for Lyapunov functions, Discrete and Continuous Dynamical Systems-Series B, vol.20, issue.8, pp.2291-2331, 2015. ,
Automatic differentiation of rigid body dynamics for optimal control and estimation, Advanced Robotics, vol.31, issue.22, pp.1225-1237, 2017. ,
A tutorial on loop shaping using H-infinity robust stabilization, IFAC Proceedings Volumes, vol.23, pp.117-126, 1990. ,
Computation of Lyapunov functions for smooth nonlinear systems using convex optimization, Automatica, vol.36, issue.11, pp.1617-1626, 2000. ,
Calculus of variations and optimal control theory: a concise introduction, 2011. ,
, Rapidly-exploring random trees: Progress and prospects, Algorithmic and Computational Robotics: New Directions, pp.293-308, 2001.
, Bayesian approach to global optimization: Theory and applications, vol.37, 2012.
PyTorch: An imperative style, high-performance deep learning library, Advances in Neural Information Processing Systems, vol.32, pp.8024-8035, 1994. ,
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. ,
, Applied nonlinear control, vol.199, 1991.
Generalization in reinforcement learning: Successful examples using sparse coarse coding, Advances in Neural Information Processing Systems, pp.1038-1044, 1996. ,
Invariant funnels around trajectories using sum-of-squares programming, IFAC Proceedings Volumes, vol.44, pp.9218-9223, 2011. ,
LQR-trees: Feedback motion planning via sums-of-squares verification, The International Journal of Robotics Research, vol.29, issue.8, pp.1038-1052, 2010. ,
Stability region analysis for uncertain nonlinear systems, IEEE Conference on Decision and Control, pp.1693-1698, 2007. ,