Descomposición en suma de cuadrados: teoría y aplicaciones en control

sum of squares decomposition (sos) techniques allow us to use numerical methods, such as semidefinite programming, to prove positivity of multivariable polynomial functions. it is well known that it is not an easy task to find lyapunov functions for stability analysis of nonlinear systems. in this work, we use an algorithmic tool to solve this problem. this approach is presented as sos programming and solutions are obtained with a matlab toolbox. we present simple examples of sos concepts, stability analysis for nonlinear polynomial, and rational systems with uncertainties in the parameters to show the use of this tool. besides of these approaches, we present an alternative stability analysis for switched systems with a polynomial approach.