V. Acary, O. Bonnefon, and B. Brogliato, Nonsmooth Modeling and Simulation for Switched Circuits, Lecture Notes in Electrical Engineering, vol.69, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00522358

S. Adly, A Variational Approach to Nonsmooth Dynamics. Applications in Unilateral Mechanics and Electronics, Briefs in Mathematics, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02386068

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

A. Ahmadi and P. 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.

B. Brogliato and A. Tanwani, Dynamical systems coupled with monotone set-valued operators: Formalisms, applications, well-posedness, and stability, SIAM Review, vol.62, 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. Camlibel, J. S. 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

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

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 Nonlin. Variational Ineqs, vol.6, pp.1-30, 2003.

D. Henrion, Optimization on linear matrix inequalities for polynomial systems control, Les cours du C.I.R.M, vol.3, issue.1, pp.1-44, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00860856

, Positive Polynomials in Control, 2005.

J. Lasserre, An Introduction to Polynomial and Semi-Algebraic Optimization. Cambridge Texts in Applied Maths, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02095856

R. I. Leine and N. Van-de-wouw, Stability and Convergence of Mechanical Systems with Unilateral Constraints, Lecture Notes in Applied and Computational Mechanics, vol.36, 2008.

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.

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. Parrilo, Structured semidefinite programs and semi-algebraic geometry methods in robustness and optimization, 2000.

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.

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.

M. Souaiby, A. Tanwani, and D. Henrion, Cone-copositive Lyapunov functions for complementarity systems: Converse result and Computation. Submitted for publication, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02565283

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