A. A. Ahmadi and R. Jungers, SOS-convex Lyapunov functions and stability of difference inclusions, 2018.

A. A. Ahmadi and B. E. Khadir, On algebraic proofs of stability for homogeneous vector fields, IEEE Transactions on Automatic Control, 2019.

A. A. Ahmadi and P. A. Parrilo, Sum of squares certificates for stability of planar, homogeneous, and switched systems, IEEE Transactions on Automatic Control, vol.62, issue.10, pp.5269-5274, 2017.

I. M. Bomze, Copositive optimization -Recent developments and applications, European Journal of Operational Research, vol.216, issue.3, pp.509-520, 2012.

I. M. Bomze, M. Dür, E. De-klerk, C. Roos, A. J. Quist et al., On copositive programming and standard quadratic optimization problems, J. Global Optimization, vol.18, issue.4, pp.301-320, 2000.

H. Brezis, Functional analysis, Sobolev spaces and partial differential equations, 2010.

B. Brogliato, Some perspectives on the analysis and control of complementarity systems, IEEE Transactions on Automatic Control, vol.48, issue.6, pp.918-935, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01660014

B. Brogliato and A. Tanwani, Dynamical systems coupled with monotone set-valued operators: Formalisms, applications, well-posedness, and stability, SIAM Review, vol.62, issue.1, pp.3-129, 2020.
URL : https://hal.archives-ouvertes.fr/hal-02379498

S. Bundfuss and M. Dür, Algorithmic copositivity detection by simplicial partition, Linear Algebra and its Applications, vol.428, pp.1511-1523, 2008.

S. Bundfuss and M. Dür, An adaptive linear approximation algorithm for copositive programs, SIAM J. Optim, vol.20, issue.1, pp.30-53, 2009.

M. K. Camlibel, L. Iannelli, and A. Tanwani, Convergence of proximal solutions for evolution inclusions with time-dependent maximal monotone operators, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02144478

M. K. Camlibel, J. Pang, and J. Shen, Lyapunov stability of complementarity and extended systems, SIAM J. Optimization, vol.17, issue.4, pp.1056-1101, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01970624

M. K. Camlibel and J. M. Schumacher, Copositive Lyapunov functions, Unsolved Problems in Mathematical Systems and Control Theory, pp.189-193, 1998.

G. Chesi, A. Garulli, A. Tesi, and A. Vicino, Homogeneous Polynomial Forms for Robustness Analysis of Uncertain Systems, LNCIS, 2009.

F. H. Clarke, Y. S. Ledyaev, and R. J. Stern, Asymptotic stability and smooth Lyapunov functions, Journal of Differential Equations, vol.149, pp.69-114, 1998.

F. H. Clarke, R. J. Stern, and P. R. Wolenski, Subgradient criteria for monotonicity, the Lipschitz condition, and convexity, Canadian Journal of Mathematics, vol.45, pp.1167-1183, 1993.

R. Cottle, J. Pang, and R. Stone, The Linear Complementarity Problem, 1992.

W. P. Dayawansa and C. F. Martin, A converse Lyapunov theorem for a class of dynamical systems which undergo switching, IEEE Transactions on Automatic Control, vol.44, issue.4, pp.751-760, 1999.

M. Della-rossa, A. Tanwani, and L. Zaccarian, Smooth approximation of patchy Lyapunov functions for switched systems, Proc. IFAC Symposium on Nonlinear Control Systems (NolCoS), 2019.
URL : https://hal.archives-ouvertes.fr/hal-02189280

F. Facchinei and J. Pang, Finite-Dimensional Variational Inequalities and Complementarity Problems, 2003.

R. Goebel, R. Sanfelice, and A. Teel, Hybrid Dynamical Systems: Modeling, Stability, and Robustness, 2012.

D. Goeleven and B. Brogliato, Stability and instability matrices for linear evolution variational inequalities, IEEE Transactions on Automatic Control, vol.49, issue.4, pp.521-534, 2004.

D. Goeleven, D. Motreanu, and V. Motreanu, On the stability of stationary solutions of first-order evolution variational inequalities, Advances in Nonlinear Variational Inequalities, vol.6, pp.1-30, 2003.

D. Henrion and A. Garulli, Positive Polynomials in Control. LNCIS, 2005.

J. Hiriart-urruty and A. Seeger, A variational approach to copositive matrices, SIAM Review, vol.52, issue.4, pp.593-629, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00629655

R. Iervolino, F. Vasca, and L. Iannelli, Cone-copositive piecewise quadratic Lyapunov functions for conewise linear systems, IEEE Transactions on Automatic Control, vol.60, issue.11, pp.3077-3082, 2015.

C. M. Kellett, Classical converse theorems in Lyapunov's second method, Discrete and Continuous Dynamical Systems Series B, vol.20, issue.8, pp.2333-2360, 2015.

H. K. Khalil, Nonlinear Systems, 2002.

J. B. Lasserre, An Introduction to Polynomial and Semi-Algebraic Optimization, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02095856

M. Laurent, Sums of squares, moment matrices and optimization over polynomials, of The IMA Volumes in Mathematics and its Applications Series, vol.149, pp.157-270, 2009.

D. Liberzon, Switching in Systems and Control, 2003.

O. L. Mangasarian and T. Shiau, Lipschitz continuity of solutions of linear inequalities, programs and complementarity problems, SIAM J. Control and Optimization, vol.25, issue.3, pp.583-595, 1987.

P. Mason, U. Boscain, and Y. Chitour, Common polynomial Lyapunov functions for linear switched systems, SIAM Journal on Control and Optimization, vol.45, issue.1, pp.226-245, 2006.
URL : https://hal.archives-ouvertes.fr/hal-02320784

K. G. Murty and S. N. Kabadi, Some NP-complete problems in quadratic and nonlinear programming, Mathematical Programming, vol.39, pp.117-129, 1987.

J. Nie, Z. Yang, and X. Zhang, A complete semidefinite algorithm for detecting copositive matrices and tensors, SIAM J. Optim, vol.28, issue.4, pp.2902-2921, 2018.

J. Pang, A posteriori error bounds for the linearly-constrained variational inequality problem, Mathematics of Operations Research, vol.12, issue.3, pp.474-484, 1987.

A. Papachristodoulou and S. Prajna, Robust stability analysis of nonlinear hybrid systems, IEEE Transactions on Automatic Control, vol.54, issue.5, pp.1037-1043, 2009.

P. A. Parrilo, Structured semidefinite programs and semi-algebraic geometry methods in robustness and optimization, 2000.

P. A. Parrilo, Semidefinite programming based tests for matrix copositivity, Proceedings of the IEEE Conf. on Decision and Control, pp.4624-4629, 2000.

M. 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.

V. Powers and T. Wörmann, An Algorithm for Sums of Squares of Real Polynomials, J. of Pure and Applied Algebra, vol.127, issue.1, pp.99-104, 1998.

V. Powers and B. Reznick, A new bound for Pólya's theorem with applications to polynomials positive on polyhedra, Journal of Pure and Applied Algebra, vol.164, issue.1-2, pp.221-229, 2001.

S. Prajna, A. Papachristodoulou, and P. A. Parrilo, SOSTOOLS: Sum of squares optimization toolbox for MATLAB, 2002.

M. Putinar, Positive polynomials on compact semi-algebraic sets, Indiana Univ. Math. Journal, vol.42, issue.3, pp.969-984, 1993.

L. Rosier, Homogeneous Lyapunov function for homogeneous continuous vector fields, Systems and Control Letters, vol.19, issue.6, pp.467-473, 1992.

K. Schmüdgen, The K-moment problem for compact semi-algebraic sets, Mathematische Annalen, vol.289, issue.1, pp.203-206, 1991.

A. Tanwani, B. Brogliato, and C. Prieur, Stability and observer design for Lur'e systems with multivalued, non-monotone, time-varying nonlinearities and state jumps, SIAM J. Control and Optimization, vol.56, issue.2, pp.3639-3672, 2014.

A. Tanwani, B. Brogliato, and C. Prieur, Well-posedness and output regulation for implicit time-varying evolution variational inequalities, SIAM J. Control and Optimization, vol.56, issue.2, pp.751-781, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01360325

A. R. Teel and L. Praly, A smooth Lyapunov function from a class-KL estimate involving two positive semidefinite functions. ESAIM: Control, Optimisation and Calculus of Variations, vol.5, pp.313-367, 2000.