A. Barvinok, A Course in Convexity, Graduate Studies in Mathematics, vol.54

S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin, Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances, Proc. IEEE Conf. Decision Control, 2017.

G. Chesi, Domain of Attraction. Analysis and Control via SOS Programming, Lecture Notes in Control and Information Sciences, vol.415, 2011.

P. Garoche, D. Henrion, V. Magron, and X. Thirioux, Semidefinite Approximations of Reachable Sets of Discrete-time Polynomial Systems, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01490897

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

M. W. Hirsch, Differential topology, 1976.

C. Josz, D. K. Molzahn, M. Tacchi, and S. Sojoudi, Transient Stability Analysis of Power Systems via Occupation Measures, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02125599

M. Korda, D. Henrion, and C. N. Jones, Inner approximations of the region of attraction for polynomial dynamical systems, Proc. IFAC Symp. Nonlinear Control Systems, 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 J. Control Optim, vol.52, issue.5, pp.2944-2969, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00804816

J. B. Lasserre, Moments, Positive Polynomials and Their Applications, 2010.

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

A. Majumdar, R. Vasudevan, M. M. Tobenkin, and R. Tedrake, Convex optimization of nonlinear feedback controllers via occupation measures, Int. J. Robotics Research, vol.33, issue.9, pp.1209-1230, 2014.

A. Oustry, C. Cardozo, P. Panciatici, and D. Henrion, Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01923135

A. Rocca, M. Forets, V. Magron, E. Fanchon, and T. Dang, Occupation measure methods for modelling and analysis of biological hybrid systems, Proc. IFAC Conference on Analysis and Design of Hybrid Systems, 2018.

M. Tacchi, B. Marinescu, M. Anghel, S. Kundu, S. Benahmed et al., Power System Transient Stability Analysis Using Sum Of Squares Programming, 2018.

M. Tacchi, T. Weisser, J. B. Lasserre, and D. Henrion, Exploiting sparsity in semi-algebraic set volume computation, 2019.