New developments in sum of squares optimization and SOSTOOLS

Proceedings of the American Control Conference

Volumn 6, Issue , 2004, Pages 5606-5611

  Prajna, Stephen ^a   Papachristodoulou, Antonis ^a   Seiler, Peter ^b   Parrilo, Pablo A ^c  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^c ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER EXPONENTIATION; MAPLE LIBRARY; POLYNOMIAL VARIABLES; STRUCTURE EXPLOITING TECHNIQUES;

FUNCTIONS; MATHEMATICAL MODELS; OPTIMIZATION; POLYNOMIALS; PROBLEM SOLVING; SYSTEM STABILITY;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 8744252427     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2004.249033     Document Type: Conference Paper

References (28)

1. S. Prajna, A. Papachristodoulou, and P. A. Parrilo, "Introducing SOSTOOLS: A general purpose sum of squares programming solver," in Proceedings IEEE Conference on Decision and Control, 2002.
2. _, "SOSTOOLS - Sum of Squares Optimization Toolbox, User's Guide," 2002, available at http://www.cds.caltech.edu/sostools and http://control.ee.ethz.ch/~parrilo/sostools.
3. M. D. Choi, T. Y. Lam, and B. Reznick, "Sum of squares of real polynomials," Proceedings of Symposia in Pure Mathematics, vol. 58, no. 2, pp. 103-126, 1995.
4. L. Vandenberghe and S. Boyd, "Semidefinite programming," SIAM Review, vol. 38, no. 1, pp. 49-95, 1996.
5. N. Z. Shor, "Class of global minimum bounds of polynomial functions," Cybernetics, vol. 23, no. 6, pp. 731-734, 1987.
6. B. Reznick, "Some concrete aspects of Hilbert's 17th problem," in Contemporary Mathematics, vol. 253. American Mathematical Society, 2000, pp. 251-272.
7. P. A. Parrilo, "Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization," Ph.D. dissertation, California Institute of Technology, Pasadena, CA, 2000.
8. _, "Semidefinite programming relaxations for semialgebraic problems," Mathematical Programming Series B, vol. 96, no. 2, pp. 293-320, 2003.
9. Y. Nesterov, "Squared functional systems and optimization problems," in High Performance Optimization, J. Frenk, C. Roos, T. Terlaky, and S. Zhang, Eds. Kluwer Academic Publishers, 2000, pp. 405-440.
10. J. B. Lasserre, "Global optimization with polynomials and the problem of moments," SIAM J. Optim., vol. 11, no. 3, pp. 796-817, 2001.
11. A. Papachristodoulou and S. Prajna, "On the construction of Lyapunov functions using the sum of squares decomposition," in Proceedings IEEE Conference on Decision and Control, 2002.
12. S. Prajna and A. Papachristodoulou, "Analysis of switched and hybrid systems - beyond piecewise quadratic methods," in Proceedings of the American Control Conference, 2003.
13. S. Prajna, P. A. Parrilo, and A. Rantzer, "Nonlinear control synthesis by convex optimization," IEEE Transactions on Automatic Control, vol. 49, no. 2, pp. 310-314, 2004.
14. S. Prajna, "Barrier certificates for nonlinear model validation," in Proceedings of the 42 IEEE Conference on Decision and Control, 2003, pp. 2884-2889.
15. P. A. Parrilo and R. Peretz, "An inequality for circle packings proved by semidefinite programming," Discrete and Computational Geometry, vol. 31, no. 3, pp. 357-367, 2004.
16. A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, "Distinguishing separable and entangled states," Physical Review Letters, vol. 88, no. 18, 2002.
17. B. Sturmfels, "Polynomial equations and convex polytopes," American Mathematical Monthly, vol. 105, no. 10, pp. 907-922, 1998.
18. B. Reznick, "Extremal PSD forms with few terms," Duke Mathematical Journal, vol. 45, no. 2, pp. 363-374, 1978.
19. P. A. Parrilo and S. Lall, "Semidefinite programming relaxations and algebraic optimization in Control," Dec. 2003, lecture notes for the CDC 2003 workshop. Available at http://control.ee.ethz.ch/~parrilo/cdc03_workshop/.
20. K. Fukuda, CDD/CDD+ reference manual, 2003, Institute for Operations Research, Swiss Federal Institute of Technology, Lausanne and Zürich, Switzerland. Program available at http://www.ifor.math.ethz.ch/staff/fukuda.
21. K. Gatermann and P. A. Parrilo, "Symmetry groups, semidefinite programs, and sums of squares," 2002, J. of Pure and Applied Algebra, to appear. Available at http://control.ee.ethz.ch/~parrilo/pubs/.
22. M.-D. Choi, T.-Y. Lam, and B. Reznick, "Real zeros of positive semidefinite forms. 1," Math. Z., vol. 171, no. 1, pp. 1-26, 1980.
23. K. Schmüdgen, "The k-moment problem for compact semialgebraic sets," Math. Ann., vol. 289, pp. 203-206, 1991.
24. J. Sturm, SeDuMi version 1.05, Oct. 2001, available from http://fewcal.uvt.nl/sturm/software/sedumi.html.
25. K. C. Toh, R. H. Tütüncü, and M. J. Todd, SDPT3 - a MATLAB software package for semidefinite-quadratic-linear programming, available from http://www.math.cmu.edu/~reha/sdpt3.html.
26. A. Fässler and E. Stiefel, Group Theoretical Methods and Their Applications. Birkhäuser, 1992.
27. B. Sturmfels, Algorithms in Invariant Theory. Springer-Verlag, 1993.
28. P. A. Parrilo, "An explicit construction of distinguished representations of polynomials nonnegative over finite sets," 2002, ifA Technical Report AUT02-02, available at http://control.ee.ethz.ch/~parrilo/pubs/ .