Introducing SOSTOOLS: A general purpose sum of squares programming solver

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2002, Pages 741-746

  Prajna, Stephen ^a   Papachristodoulou, Antonis ^a   Parrilo, Pablo A ^b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; LYAPUNOV METHODS; MATRIX ALGEBRA; OPTIMIZATION; POLYNOMIALS; SET THEORY; VECTORS;

SOFTWARE PACKAGE SOSTOOLS; SUM OF SQUARES POLYNOMIALS; SUM OF SQUARES PROGRAMMING;

COMPUTER SIMULATION;

EID: 0036990890     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. M. D. Choi, T. Y. Lam, and B. Reznick. Sum of squares of real polynomials. Proceedings of Symposia in Pure Mathematics, 58(2):103-126, 1995.
2. G. E. Dullerud and F. Paganini. A Course in Robust Control Theory: A Convex Approach. Springer-Verlag NY, 2000.
3. M. X. Goemans and D. P. Williamson. Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Journal of the ACM, 42(6):1115-1145, 1995.
4. D. Henrion and J. B. Lasserre. GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi. In Proceedings of the 41st IEEE Conf. on Decision and Control, 2002. Available at http://www.laas.fr/~henrion/software/gloptipoly.
5. H. K. Khalil. Nonlinear Systems. Prentice Hall, Inc., second edition, 1996.
6. J. B. Lasserre. Global optimization with polynomials and the problem of moments. SIAM J. Optim., 11(3):796-817, 2001.
7. Y. Nesterov. Squared functional systems and optimization problems. In J. Frenk, C. Roos, T. Terlaky, and S. Zhang, editors. High Performance Optimization, pages 405-440. Kluwer Academic Publishers, 2000.
8. A. Packard and J. C. Doyle. The complex structured singular value. Automatica, 29(1):71-109, 1993.
9. P. A. Parrilo. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. PhD thesis, California Institute of Technology, Pasadena, CA, 2000.
10. P. A. Parrilo. Semidefinite programming relaxations for semialgebraic problems. To appear in Mathematical Programming, 2001.
11. V. Powers and T. Wörmann. An algorithm for sums of squares of real polynomials. Journal of Pure and Applied Linear Algebra, 127:99-104, 1998.
12. S. Prajna, A. Papachristodoulou, and P. A. Parrilo, SOSTOOLS - Sum of Squares Optimization Toolbox, User's Guide. Available at http://www.cds.caltech.edu/sostools and http://www.aut.ee.ethz.ch/~parrilo/sostools, 2002.
13. B. Reznick. Some concrete aspects of Hilbert's 17th problem. In Contemporary Mathematics, volume 253, pages 251-272. American Mathematical Society, 2000.
14. N. Z. Shor. Class of global minimum bounds of polynomial functions. Cybernetics, 23(6):731-734, 1987.
15. J. F. Sturm. Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software, 11-12:625-653, 1999. Available at http://fewcal.kub.n1/sturm/software/sedumi.html.
16. L. Vandenberghe and S. Boyd. Semidefinite programming. SIAM Review, 38(1):49-95, 1996.