Exploiting structure in sum of squares programs

Proceedings of the IEEE Conference on Decision and Control

Volumn 5, Issue , 2003, Pages 4664-4669

  Parrilo, Pablo A ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL METHODS; CONSTRAINT THEORY; LYAPUNOV METHODS; OPTIMIZATION; POLYNOMIALS;

NUMERICAL EFFICIENCY; SEMIDEFINITE PROGRAMMING PROBLEMS;

CONTROL SYSTEM ANALYSIS;

EID: 1542320213     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2003.1272305     Document Type: Conference Paper

References (22)

1. B. D. O. Anderson, N. K. Bose, and E. I. Jury. Output feedback stabilization and related problems - solution via decision methods. IEEE Transactions on Automatic Control, 20:53-66, 1975.
2. S. Boyd and C. Barratt. Linear Controller Design: Limits of Performance. Prentice-Hall, 1991.
3. S. Boyd, L. El Ghaoui, .E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory, volume 15 of Studies in Applied Mathematics. SIAM, Philadelphia, PA, 1994.
4. M. D. Choi, T. Y. Lam, and B. Reznick. Sums of squares of real polynomials. Proceedings of Symposia in Pure Mathematics, 58(2):103-126, 1995.
5. D. A. Cox, J. B. Little, and D. O'Shea. Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra. Springer, 1997.
6. P. Dorato, W. Yang, and C. Abdallah. Robust multi-objective feedback design by quantifier elimination. J. Symbolic Computation, 24:153-159, 1997.
7. th IEEE Conference on Decision and Control, pages 3587-3592, 2001.
8. K. Gatermann and P. A. Parrilo. Symmetry groups, semidefinite programs, and sums of squares. Submitted, available from arXiv:math.AC/0211450, 2002.
9. M. Golubitsky, I. Stewart, and D. G. Schaeffer. Singularities and Groups in Bifurcation Theory II, volume 69 of Applied Mathematical Sciences. Springer, New York, 1988.
10. M. Jirstrand. Nonlinear control system design by quantifier elimination. J. Symbolic Computation, 24:137-152, 1997.
11. J. B. Lasserre. Global optimization with polynomials and the problem of moments. SIAM J. Optim., 11(3):796-817, 2001.
12. J. E. Marsden and T. Ratiu. Introduction to Mechanics and Symmetry, volume 17 of Texts in Applied Mathematics. Springer-Verlag, 2nd edition, 1999.
13. B. Mishra. Algorithmic Algebra. Springer-Verlag, 1993.
14. 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.
15. P. A. Parrilo. Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. PhD thesis, California Institute of Technology, May 2000. Available at http://www.cds.caltech.edu/~pablo/.
16. P. A. Parrilo. An explicit construction of distinguished representations of polynomials nonnegative over finite sets. Technical Report IfA Technical Report AUT02-02. Available from http://www.aut.ee.ethz.ch/~parrilo, ETH Zürich, 2002.
17. P. A. Parrilo. Semidefinite programming relaxations for semialgebraic problems. Mathematical Programming Ser. B, 96(2):293-320, 2003.
18. P. A. Parrilo and B. Sturmfels. Minimizing polynomial functions. In S. Basu and L. Gonzalez-Vega, editors, Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, volume 60 of DIMACS Series in Discrete Mathematics and Computer Science, pages 83-99. AMS, 2003.
19. S. Prajna, A. Papachristodoulou, and P. A. Parrilo. SOSTOOLS: Sum of squares optimization toolbox for MATLAB, 2002. Available from http://www.cds.caltech.edu/sostools and http://control.ee.ethz.ch/~parrilo/sostools.
20. B. Reznick. Extremal PSD forms with few terms. Duke Mathematical Journal, 45(2):363-374, 1978.
21. N. Z. Shor. Class of global minimum bounds of polynomial functions. Cybernetics, 23(6):731-734, 1987. (Russian orig.: Kibernetika, No. 6, (1987), 9-11).
22. A. Tesi, F. Villoresi, and R. Genesio. On the stability domain estimation via a quadratic Lyapunov function: convexity and optimality properties for polynomial systems. IEEE Transactions on Automatic Control, 41(11):1650-1657, 1996.