SOS-convex Lyapunov functions and stability of difference inclusions, 2018. ,
On algebraic proofs of stability for homogeneous vector fields, IEEE Transactions on Automatic Control, 2019. ,
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. ,
Copositive optimization -Recent developments and applications, European Journal of Operational Research, vol.216, issue.3, pp.509-520, 2012. ,
On copositive programming and standard quadratic optimization problems, J. Global Optimization, vol.18, issue.4, pp.301-320, 2000. ,
Functional analysis, Sobolev spaces and partial differential equations, 2010. ,
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
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
Algorithmic copositivity detection by simplicial partition, Linear Algebra and its Applications, vol.428, pp.1511-1523, 2008. ,
An adaptive linear approximation algorithm for copositive programs, SIAM J. Optim, vol.20, issue.1, pp.30-53, 2009. ,
Convergence of proximal solutions for evolution inclusions with time-dependent maximal monotone operators, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02144478
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
Copositive Lyapunov functions, Unsolved Problems in Mathematical Systems and Control Theory, pp.189-193, 1998. ,
Homogeneous Polynomial Forms for Robustness Analysis of Uncertain Systems, LNCIS, 2009. ,
Asymptotic stability and smooth Lyapunov functions, Journal of Differential Equations, vol.149, pp.69-114, 1998. ,
Subgradient criteria for monotonicity, the Lipschitz condition, and convexity, Canadian Journal of Mathematics, vol.45, pp.1167-1183, 1993. ,
The Linear Complementarity Problem, 1992. ,
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. ,
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
Finite-Dimensional Variational Inequalities and Complementarity Problems, 2003. ,
Hybrid Dynamical Systems: Modeling, Stability, and Robustness, 2012. ,
Stability and instability matrices for linear evolution variational inequalities, IEEE Transactions on Automatic Control, vol.49, issue.4, pp.521-534, 2004. ,
On the stability of stationary solutions of first-order evolution variational inequalities, Advances in Nonlinear Variational Inequalities, vol.6, pp.1-30, 2003. ,
, Positive Polynomials in Control. LNCIS, 2005.
A variational approach to copositive matrices, SIAM Review, vol.52, issue.4, pp.593-629, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00629655
Cone-copositive piecewise quadratic Lyapunov functions for conewise linear systems, IEEE Transactions on Automatic Control, vol.60, issue.11, pp.3077-3082, 2015. ,
Classical converse theorems in Lyapunov's second method, Discrete and Continuous Dynamical Systems Series B, vol.20, issue.8, pp.2333-2360, 2015. ,
Nonlinear Systems, 2002. ,
An Introduction to Polynomial and Semi-Algebraic Optimization, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-02095856
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. ,
Switching in Systems and Control, 2003. ,
Lipschitz continuity of solutions of linear inequalities, programs and complementarity problems, SIAM J. Control and Optimization, vol.25, issue.3, pp.583-595, 1987. ,
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
Some NP-complete problems in quadratic and nonlinear programming, Mathematical Programming, vol.39, pp.117-129, 1987. ,
A complete semidefinite algorithm for detecting copositive matrices and tensors, SIAM J. Optim, vol.28, issue.4, pp.2902-2921, 2018. ,
A posteriori error bounds for the linearly-constrained variational inequality problem, Mathematics of Operations Research, vol.12, issue.3, pp.474-484, 1987. ,
Robust stability analysis of nonlinear hybrid systems, IEEE Transactions on Automatic Control, vol.54, issue.5, pp.1037-1043, 2009. ,
Structured semidefinite programs and semi-algebraic geometry methods in robustness and optimization, 2000. ,
Semidefinite programming based tests for matrix copositivity, Proceedings of the IEEE Conf. on Decision and Control, pp.4624-4629, 2000. ,
Exponentially stable nonlinear systems have polynomial Lyapunov functions on bounded regions, IEEE Transactions on Automatic Control, vol.54, issue.5, pp.979-987, 2009. ,
An Algorithm for Sums of Squares of Real Polynomials, J. of Pure and Applied Algebra, vol.127, issue.1, pp.99-104, 1998. ,
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. ,
SOSTOOLS: Sum of squares optimization toolbox for MATLAB, 2002. ,
Positive polynomials on compact semi-algebraic sets, Indiana Univ. Math. Journal, vol.42, issue.3, pp.969-984, 1993. ,
Homogeneous Lyapunov function for homogeneous continuous vector fields, Systems and Control Letters, vol.19, issue.6, pp.467-473, 1992. ,
The K-moment problem for compact semi-algebraic sets, Mathematische Annalen, vol.289, issue.1, pp.203-206, 1991. ,
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. ,
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 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. ,