Sum of squares decomposition: theory and applications in control
Descomposición en suma de cuadrados: teoría y aplicaciones en control
DOI:
https://doi.org/10.15446/ing.investig.v30n3.18178Keywords:
sum of squares (SOS), stability analysis, nonlinear systems, switched systems (en)suma de cuadrados, SOS, análisis de estabalidad, sistemas no lineales, sistemas conmutados (es)
Downloads
The sum of squares (SOS) decomposition technique allows numerical methods such as semidefinite programming to be used for proving the 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. An algorithmic tool is used in this work for solving this problem. This approach is presented as SOS programming and solutions were obtained with a Matlab toolbox. Simple examples of SOS concepts, stability analysis for nonlinear polynomial and rational systems with uncertainties in parameters are presented to show the use of this tool. Besides these approaches, an alternative stability analysis for switched systems using a polynomial approach is also presented.
Las técnicas de descomposición en sumas de cuadrados (SOS) permiten emplear métodos numéricos para probar la positividad de funciones polinómicas multivariables resolviendo problemas de programación en semidefinida. Teniendo en cuenta que generalmente es difícil encontrar funciones de Lyapunov para realizar análisis de estabilidad en sistemas no lineales, con el uso de técnicas SOS se utiliza una herramienta computacional para resolver este problema, planteando las condiciones de estabilidad como un problema SOS y obteniendo la solución con un toolbox de Matlab. Para mostrar el uso de esta herramienta se presentan ejemplos simples de los conceptos de SOS, análisis de estabilidad para sistemas no lineales polinomios, racionales, con incertidumbre en los parámetros y de sistemas conmutados con una aproximación en polinomio. Con dicha aproximación se encuentran funciones adecuadas para demostrar estabilidad asintótica para estos sistemas.
Downloads
References
Anjos, M., Burer, S., On handling free variables in interior-point methods for conic linear optimization., SIAM Journal on Optimization, 18(4), 2007, pp.1310-1325.
Burden, R., Faires, J. D., Numerical Analysis PWS, Boston, 1985.
Ebenbauer, C., Allgöwer, F., Computer-Aided Stability Analysis of Differential-Algebraic Equations., In Proceedings of the NOLCOS, 2004, pp. 1025-1030.
Ebenbauer, C., Allgöwer, F., Analysis and Design of Polynomial Control Systems Using Dissipation Inequalities and Sum of Squares., Computers & Chemical Engineering, 30 (10-12), 2006, pp. 1590- 1602.
Franze, G., Casavola, A., Famularo, D., Garone, E., An off-line MPC Strategy for Nonlinear Systems Based on SOS Programming., Nonlinear Model Predictive Control, LNCIS 384, 2009, pp. 491-499.
Khalil, H., Nonlinear Systems., Prentice Hall Upper Saddle River, NJ, 2002.
Mojica-Nava, E., Quijano, N., Rakoto- Ravalontsalama, N., Gauthier, A., A Polynomial Approach to Stability Analysis of Switched Systems., Systems and Control Letters, 59(2), 2010, pp. 98-104.
Pantoja, A., Quijano, N., Modeling and Analysis for a Temperature System Based on Resource Dynamics and the Ideal Free Distribution., In Proceedings of the American Control Conference, 2008, pp. 3390-3395.
Papachristodoulou, A., Analysis of Nonlinear Time- Delay Systems Using the Sum of Squares Decomposition., In Proceedings of the American Control Conference, 2004, pp. 4153-4158.
Papachristodoulou, A., Prajna, S., On the Construction of Lyapunov Functions Using the Sum of Squares Decomposition., In Proceedings of the 41st IEEE Conference on Decision and Control, 2002, pp. 3482-3487.
Parrilo, P., Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization., Ph.D. thesis, California Institute of Technology, 2000.
Parrilo, P., Semidefinite Programming Relaxations for Semialgebraic Problems., Mathematical Programming, 96(2), 2003, pp. 293-320.
Prajna, S., Papachristodoulou, A., Parrilo, P., SOSTOOLS: Sum of Squares Optimization Toolbox for MATLAB-User Guide., Control and Dynamical Systems, California Institute of Technology, Pasadena, CA, 91125. Available on http://www.cds.caltech.edu/sostools.
Prajna, S., Papachristodoulou, A., Seiler, P., Parrilo, P., SOSTOOLS: Control Applications and New Developments., In Proceedings of the IEEE International Symposium on Computer Aided Control Systems Design, 2004, pp. 315-320.
Reznick, B., Some Concrete Aspects of Hilberts 17th Problem., Contemporary Mathematics, 253, 2000, pp. 251-272.
Topcu, U., Packard, A., Local Stability Analysis for Uncertain Nonlinear Systems., IEEE Transactions on Automatic Control, 54(5), 2009, pp. 1042-1047.
Topcu, U., Packard, A., Seiler, P., Local Stability Analysis Using Simulations and Sum-of-Squares-Programming, Automatica, 44(10), 2008, pp. 2669- 2675.
Zhang, L., Liu, S., Lan, H., On Stability of Switched Homogeneous Nonlinear Systems., J. Math. Anal. Appl, 334, 2007, pp. 414-430.
Zhao, J., Hill, D., Passivity and Stability of Switched Systems: A Multiple Storage Function Method., Systems & Control Letters, 57, 2008, pp. 158- 164.
License
Copyright (c) 2010 Andrés Pantoja, Eduardo Mojica Nava, Nicanor Quijano

This work is licensed under a Creative Commons Attribution 4.0 International License.
The authors or holders of the copyright for each article hereby confer exclusive, limited and free authorization on the Universidad Nacional de Colombia's journal Ingeniería e Investigación concerning the aforementioned article which, once it has been evaluated and approved, will be submitted for publication, in line with the following items:
1. The version which has been corrected according to the evaluators' suggestions will be remitted and it will be made clear whether the aforementioned article is an unedited document regarding which the rights to be authorized are held and total responsibility will be assumed by the authors for the content of the work being submitted to Ingeniería e Investigación, the Universidad Nacional de Colombia and third-parties;
2. The authorization conferred on the journal will come into force from the date on which it is included in the respective volume and issue of Ingeniería e Investigación in the Open Journal Systems and on the journal's main page (https://revistas.unal.edu.co/index.php/ingeinv), as well as in different databases and indices in which the publication is indexed;
3. The authors authorize the Universidad Nacional de Colombia's journal Ingeniería e Investigación to publish the document in whatever required format (printed, digital, electronic or whatsoever known or yet to be discovered form) and authorize Ingeniería e Investigación to include the work in any indices and/or search engines deemed necessary for promoting its diffusion;
4. The authors accept that such authorization is given free of charge and they, therefore, waive any right to receive remuneration from the publication, distribution, public communication and any use whatsoever referred to in the terms of this authorization.










