R. Baier, L. Grüne, and S. Hafstein, Linear programming based Lyapunov function computation for differential inclusions. Discrete and Continuous Dynamical Systems Series B, pp.33-56, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00724864

H. Ban and W. Kalies, A Computational Approach to Conley???s Decomposition Theorem, Journal of Computational and Nonlinear Dynamics, vol.1, issue.4, pp.1-4312, 2006.
DOI : 10.1115/1.2338651

P. Giesl and S. Hafstein, Construction of Lyapunov functions for nonlinear planar systems by linear programming, Journal of Mathematical Analysis and Applications, vol.388, issue.1, pp.463-479, 2012.
DOI : 10.1016/j.jmaa.2011.10.047

P. Giesl and S. Hafstein, Construction of a CPA contraction metric for periodic orbits using semidefinite optimization. Nonlinear Analysis: Theory, Methods & Applications, vol.86, pp.114-134, 2013.

P. Giesl and S. Hafstein, Computation of Lyapunov functions for nonlinear discrete time systems by linear programming, Journal of Difference Equations and Applications, vol.36, issue.3, 2014.
DOI : 10.1017/CBO9780511617539

P. Giesl and S. Hafstein, Revised CPA method to compute Lyapunov functions for nonlinear systems, Journal of Mathematical Analysis and Applications, vol.410, issue.1, pp.292-306, 2014.
DOI : 10.1016/j.jmaa.2013.08.014

S. Hafstein, A constructive converse Lyapunov theorem on exponential stability. Discrete Contin, Dyn. Syst, vol.10, issue.3, pp.657-678, 2004.

S. Hafstein, An Algorithm for Constructing Lyapunov Functions, Electronic Journal of Differential Equations Mongraphs, 2007.

S. Hafstein, C. M. Kellett, and H. Li, Continuous and piecewise affine Lyapunov functions using the Yoshizawa construction, 2014 American Control Conference, 2014.
DOI : 10.1109/ACC.2014.6858660
URL : https://hal.archives-ouvertes.fr/hal-00944393

T. Johansen, Computation of Lyapunov functions for smooth nonlinear systems using convex optimization, Automatica, vol.36, issue.11, pp.1617-1626, 2000.
DOI : 10.1016/S0005-1098(00)00088-1

W. Kalies, K. Mischaikow, and R. Vandervorst, An Algorithmic Approach to Chain Recurrence, Foundations of Computational Mathematics, vol.5, issue.4, pp.5-4409, 2005.
DOI : 10.1007/s10208-004-0163-9

C. M. Kellett, A compendium of comparsion function results, Press with Mathematics of Controls, Signals and Systems, 2014.

H. K. Khalil, Nonlinear Systems, 2002.

S. Marinosson, Lyapunov function construction for ordinary differential equations with linear programming, Dynamical Systems, vol.40, issue.2, pp.137-150, 2002.
DOI : 10.1007/BF01600051

J. L. Massera, On Liapounoff's Conditions of Stability, The Annals of Mathematics, vol.50, issue.3, pp.705-721, 1949.
DOI : 10.2307/1969558

A. Papachristodoulou and S. Prajna, On the construction of Lyapunov functions using the sum of squares decomposition, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.3482-3487, 2002.
DOI : 10.1109/CDC.2002.1184414

M. Peet, Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions, IEEE Transactions on Automatic Control, vol.54, issue.5, pp.979-987, 2009.
DOI : 10.1109/TAC.2009.2017116

M. Peet and A. Papachristodoulou, A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration, 49th IEEE Conference on Decision and Control (CDC), pp.5949-5954, 2010.
DOI : 10.1109/CDC.2010.5717536

S. Ratschan and Z. She, Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions, SIAM Journal on Control and Optimization, vol.48, issue.7, pp.4377-4394, 2010.
DOI : 10.1137/090749955

M. Rezaiee-pajand and B. Moghaddasie, Estimating the Region of Attraction via collocation for autonomous nonlinear systems, Structural Engineering and Mechanics, vol.41, issue.2, pp.263-284, 2012.
DOI : 10.12989/sem.2012.41.2.263

Z. She, H. Li, B. Xue, Z. Zheng, and B. Xia, Discovering polynomial Lyapunov functions for continuous dynamical systems, Journal of Symbolic Computation, vol.58, pp.41-63, 2013.
DOI : 10.1016/j.jsc.2013.06.003

E. D. Sontag, Comments on integral variants of ISS. Systems and Control Letters, pp.93-100, 1998.

T. Yoshizawa, Stability Theory by Liapunov's Second Method, 1966.