\begin{thebibliography}{10}

\bibitem{mosek92}
MOSEK ApS.
\newblock {\em The MOSEK optimization toolbox for MATLAB manual. Version 9.2.},
  2020.

\bibitem{cho2002linear}
Moon~Jung Cho and Richard~H Stockbridge.
\newblock Linear programming formulation for optimal stopping problems.
\newblock {\em SIAM J. Control Optim.}, 40(6):1965--1982, 2002.

\bibitem{fantuzzi2020bounding}
Giovanni Fantuzzi and David Goluskin.
\newblock {Bounding Extreme Events in Nonlinear Dynamics Using Convex
  Optimization}.
\newblock {\em SIAM Journal on Applied Dynamical Systems}, 19(3):1823--1864,
  2020.

\bibitem{goriely2001integrability}
Alain Goriely.
\newblock {\em Integrability and Nonintegrability of Dynamical Systems},
  volume~19.
\newblock World Scientific, 2001.

\bibitem{helmes2001computing}
Kurt Helmes, Stefan R{\"o}hl, and Richard~H Stockbridge.
\newblock {Computing Moments of the Exit Time Distribution for Markov Processes
  by Linear Programming}.
\newblock {\em Operations Research}, 49(4):516--530, 2001.

\bibitem{helmes2001exittime}
Kurt Helmes, Stefan Röhl, and Richard~H. Stockbridge.
\newblock {Computing Moments of the Exit Time Distribution for Markov Processes
  by Linear Programming}.
\newblock {\em Operations Research}, 49(4):516--530, 2001.

\bibitem{henrion2012measures}
Didier Henrion, Martine Ganet-Schoeller, and Samir Bennani.
\newblock {Measures and LMI for space launcher robust control validation}.
\newblock {\em IFAC Proceedings Volumes}, 45(13):236--241, 2012.

\bibitem{henrion2003gloptipoly}
Didier Henrion and Jean-Bernard Lasserre.
\newblock {GloptiPoly: Global Optimization over Polynomials with Matlab and
  SeDuMi}.
\newblock {\em ACM Transactions on Mathematical Software (TOMS)},
  29(2):165--194, 2003.

\bibitem{lasserre2008nonlinear}
Jean~B Lasserre, Didier Henrion, Christophe Prieur, and Emmanuel Tr{\'e}lat.
\newblock {Nonlinear Optimal Control via Occupation Measures and
  LMI-Relaxations}.
\newblock {\em SIAM J. Control Optim.}, 47(4):1643--1666, 2008.

\bibitem{lasserre2009moments}
Jean~Bernard. Lasserre.
\newblock {\em {Moments, Positive Polynomials And Their Applications}}.
\newblock Imperial College Press Optimization Series. World Scientific
  Publishing Company, 2009.

\bibitem{lewis1980relaxation}
RM~Lewis and RB~Vinter.
\newblock {Relaxation of Optimal Control Problems to Equivalent Convex
  Programs}.
\newblock {\em Journal of Mathematical Analysis and Applications},
  74(2):475--493, 1980.

\bibitem{Lofberg2004}
J.~L{\"{o}}fberg.
\newblock {YALMIP : A Toolbox for Modeling and Optimization in MATLAB}.
\newblock In {\em In Proceedings of the CACSD Conference}, Taipei, Taiwan,
  2004.

\bibitem{magron2017discrete}
Victor Magron, Pierre-Loic Garoche, Didier Henrion, and Xavier Thirioux.
\newblock {Semidefinite Approximations of Reachable Sets for Discrete-time
  Polynomial Systems}.
\newblock {\em SIAM J. Control Optim.}, 57:2799--2820, 03 2017.

\bibitem{miller2020recovery}
J.~{Miller}, D.~{Henrion}, and M.~{Sznaier}.
\newblock {Peak Estimation Recovery and Safety Analysis}.
\newblock {\em IEEE Control Systems Letters}, 5(6):1982--1987, 2021.

\bibitem{parrilo2008approximation}
Pablo~A Parrilo and Ali Jadbabaie.
\newblock Approximation of the joint spectral radius using sum of squares.
\newblock {\em Linear Algebra and its Applications}, 428(10):2385--2402, 2008.

\bibitem{prajna2004safety}
Stephen Prajna and Ali Jadbabaie.
\newblock {Safety Verification of Hybrid Systems Using Barrier Certificates}.
\newblock In {\em International Workshop on Hybrid Systems: Computation and
  Control}, pages 477--492. Springer, 2004.

\bibitem{putinar1993compact}
Mihai Putinar.
\newblock {Positive Polynomials on Compact Semi-algebraic Sets}.
\newblock {\em Indiana University Mathematics Journal}, 42(3):969--984, 1993.

\bibitem{vlassis2014polytopic}
Nikos Vlassis and Rapha{\"e}l Jungers.
\newblock Polytopic uncertainty for linear systems: New and old complexity
  results.
\newblock {\em Systems \& Control Letters}, 67:9--13, 2014.

\bibitem{xue2019inner}
Bai Xue, Martin Fr{\"a}nzle, and Naijun Zhan.
\newblock {Inner-Approximating Reachable Sets for Polynomial Systems with
  Time-Varying Uncertainties}.
\newblock {\em IEEE Trans. Autom. Control}, 65(4):1468--1483, 2019.

\bibitem{young1942generalized}
Laurence~Chisholm Young.
\newblock {Generalized Surfaces in the Calculus of Variations}.
\newblock {\em Annals of mathematics}, 43:84--103, 1942.

\end{thebibliography}
