T. Bagby, L. Bos, and N. Levenberg, Multivariate simultaneous approximation. Constructive approximation, vol.18, pp.569-577, 2002.

F. Blanchini, Set invariance in control, Automatica, vol.35, issue.11, pp.1747-1767, 1999.

F. Blanchini and S. Miani, Set-Theoretic Methods in Control, 2007.

D. P. De-farias and B. Van-roy, The linear programming approach to approximate dynamic programming, Operations research, vol.51, issue.6, pp.850-865, 2003.

H. Federer, Curvature measures, Transactions of the American Mathematical Society, vol.93, issue.3, pp.418-491, 1959.

D. Goluskin, Bounding extreme values on attractors using sum-of-squares optimization, with application to the lorenz attractor, 2018.

R. Gondhalekar, J. Imura, and K. Kashima, Controlled invariant feasibility -A general approach to enforcing strong feasibility in MPC applied to move-blocking, Automatica, vol.45, issue.12, pp.2869-2875, 2009.

A. H. Guide, Infinite dimensional analysis, 2006.

P. Gutman and M. Cwikel, An algorithm to find maximal state constraint sets for discrete-time linear dynamical systems with bounded controls and states, IEEE Transactions on Automatic Control, vol.32, issue.3, pp.251-254, 1987.

D. Henrion and M. Korda, Convex computation of the region of attraction of polynomial control systems, IEEE Transactions on Automatic Control, vol.59, issue.2, pp.297-312, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00723019

O. Hernandez-lerma and J. B. Lasserre, Discrete-Time Markov Control Processes: Basic Optimality Criteria, 1996.

M. Johansson and A. Rantzer, Computation of piecewise quadratic lyapunov functions for hybrid systems, European Control Conference (ECC), pp.2005-2010, 1997.

M. Korda, D. Henrion, and C. N. Jones, Inner approximations of the region of attraction for polynomial dynamical systems, IFAC Symposium on Nonlinear Control Systems (NOLCOS), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00740798

M. Korda, D. Henrion, and C. N. Jones, Convex computation of the maximum controlled invariant set for polynomial control systems, SIAM Journal on Control and Optimization, vol.52, issue.5, pp.2944-2969, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00804816

M. Korda, D. Henrion, and J. Lasserre, Moments and convex optimization for analysis and control of nonlinear partial differential equations, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01771699

M. Korda, D. Henrion, and I. Mezic, Convex computation of extremal invariant measures of nonlinear dynamical systems and markov processes, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01841989

J. B. Lasserre, D. Henrion, C. Prieur, and E. Trélat, Nonlinear optimal control via occupation measures and LMI-relaxations, SIAM Journal on Control and Optimization, vol.47, issue.4, pp.1643-1666, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00136032

R. Lewis and R. Vinter, Relaxation of optimal control problems to equivalent convex programs, Journal of Mathematical Analysis and Applications, vol.74, issue.2, pp.475-493, 1980.

J. Löfberg, Yalmip : A toolbox for modeling and optimization in MATLAB, Proceedings of the CACSD Conference, 2004.

V. Magron, M. Forets, and D. Henrion, Semidefinite approximations of invariant measures for polynomial systems, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01828443

S. Marx, T. Weisser, D. Henrion, and J. Lasserre, A moment approach for entropy solutions to nonlinear hyperbolic pdes, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01830870

D. Q. Mayne, J. B. Rawlings, C. V. Rao, and P. O. Scokaert, Constrained model predictive control: Stability and optimality, Automatica, vol.36, issue.6, pp.789-814, 2000.

A. Oustry, M. Tacchi, and D. Henrion, Inner approximations of the maximal positively invariant set for polynomial dynamical systems, IEEE Control Systems Letters, vol.3, issue.3, pp.733-738, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02064440

S. Prajna, P. Parrilo, and A. Rantzer, Nonlinear control synthesis by convex optimization. Automatic Control, IEEE Transactions on, vol.49, issue.2, pp.310-314, 2004.

A. Rantzer, A dual to lyapunov's stability theorem, Systems & Control Letters, vol.42, issue.3, pp.161-168, 2001.

J. Rubio, Generalized curves and extremal points, SIAM Journal on Control, vol.13, issue.1, pp.28-47, 1975.

J. Rubio, Extremal points and optimal control theory, vol.109, pp.165-176, 1976.

F. Takens, Detecting strange attractors in turbulence, Dynamical systems and turbulence, pp.366-381, 1980.

R. B. Vinter and R. M. Lewis, The equivalence of strong and weak formulations for certain problems in optimal control, SIAM Journal on Control and Optimization, vol.16, issue.4, pp.546-570, 1978.

L. C. Young, Generalized curves and the existence of an attained absolute minimum in the calculus of variations, Comptes Rendus de la Societe des Sci. et des Lettres de Varsovie, vol.30, pp.212-234, 1937.