SOSTOOLS and its control applications

Lecture Notes in Control and Information Sciences

Volumn 312, Issue , 2005, Pages 273-292

  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

NUMERICAL METHODS; PROBLEM SOLVING; RELAXATION PROCESSES;

CONTROL APPLICATIONS; CONVEX RELAXATION; HARD PROBLEMS; INTERIOR POINT; OPTIMIZATION PROBLEMS; SEMI-DEFINITE PROGRAM (SDP); SUM OF SQUARE PROGRAM; SUMS OF SQUARES OPTIMIZATION; SYSTEMS AND CONTROL; THIRD PARTIES;

MATLAB;

EID: 33947519370     PISSN: 01708643     EISSN: None     Source Type: Book Series    
DOI: 10.1007/10997703_14     Document Type: Article

References (40)

1. M. D. Choi, T. Y. Lam, and B. Reznick (1995). Sum of squares of real polynomials. Proceedings of Symposia in Pure Mathematics, 58(2):103-126.
2. A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri (2002). Distinguishing separable and entangled states. Physical Review Letters, 88(18).
3. K. Fukuda (2003). CDD/CDD+ reference manual. Available at www.ifor.math.ethz.ch/staff/fukuda.
4. K. Gaterman and P. A. Parrilo (2004). Symmetry groups, semidefinite programs, and sums of squares. To appear in Journal of Pure and Appl. Algebra.
5. A. A. Goldstein and J. F. Price (1971). On descent from local minima. Mathematics of Computation, 25:569-574.
6. K. Gu, V. L. Kharitonov, and J. Chen (2003). Stability of Time-Delay systems. Birkhäuser.
7. J. K. Hale and S. M. Verduyn Lunel (1993). Introduction to Functional Differential Equations. Applied Mathematical Sciences (99), Springer-Velag.
8. D. Henrion and J. B. Lasserre (2003). GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi. ACM Transactions on Mathematical Software, 29(2):165-194. Available at www.laas.fr/~henrion/software/gloptipoly
9. Z. Jarvis-Wloszek, R. Feeley, W. Tan, K. Sun, and A. Packard (2003). Some control applications of sum of squares programming. Proc. IEEE Conference on Decision and Control.
10. H. K. Khalil (1996). Nonlinear Systems. Prentice Hall, Inc., second edition.
11. J. B. Lasserre (2001). Global optimization with polynomials and the problem of moments. SIAM Journal on Optimization, 11(3):796-817.
12. K. G. Murty and S. N. Kabadi (1987). Some NP-complete problems in quadratic and nonlinear programming. Mathematical Programming, 39:117-129.
13. Y. Nesterov (2000). Squared functional systems and optimization problems. In J. Frenk, C. Roos, T. Terlaky, and S. Zhang (Editors). High Performance Optimization, 405-440, Kluwer Academic Publishers.
14. A. Papachristodoulou (2004). Analysis of nonlinear time delay systems using the sum of squares decomposition. Proc. American Control Conference.
15. A. Papachristodoulou and S. Prajna (2002). On the construction of Lyapunov functions using the sum of squares decomposition. Proc. IEEE Conference on Decision and Control.
16. P. G. Park (1999). A delay-dependent stability criterion for systems with uncertain time-invariant delays. IEEE Transactions on Automatic Control, 44(2):876-877.
17. P. A. Parrilo (2000). Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. PhD thesis, California Institute of Technology, Pasadena, CA.
18. P. A. Parrilo (2003). Semidefinite programming relaxations for semialgebraic problems. Mathematical Programming Series B, 96(2):293-320.
19. P. A. Parrilo and R. Peretz (2004). An inequality for circle packings proved by Semidefinite programming. Discrete and Computational Geometry, 31(3):357-367.
20. V. Powers and T. Wörmann (1998). An algorithm for sums of squares of real polynomials. Journal of Pure and Applied Linear Algebra, 127:99-104.
21. S. Prajna (2003). Barrier certificates for nonlinear model validation. Proc. IEEE Conference on Decision and Control.
22. S. Prajna and A. Jadbabaie (2004). Safety verification of hybrid systems using barrier certificates. In Hybrid Systems: Computation and Control, 477-492, Springer-Verlag.
23. S. Prajna and A. Papachristodoulou (2003). Analysis of switched and hybrid systems - Beyond piecewise quadratic methods. Proc. American Control Conference.
24. S. Prajna, A. Papachristodoulou, and P. A. Parrilo (2002). Introducing SOS-TOOLS: A general purpose sum of squares programming solver. Proc. IEEE Conference on Decision and Control.
25. S. Prajna, A. Papachristodoulou, P. Seiler, and P. A. Parrilo (2004). SOSTOOLS - Sum of Squares Optimization Toolbox, User's Guide, Version 2.00. Available at www.cds.caltech.edu/sostools and control.ee.ethz.ch/~parrilo/ sostools.
26. S. Prajna, A. Papachristodoulou, P. Seiler, and P. A. Parrilo (2004). New developments in sum of squares optimization and SOSTOOLS. Proc. American Control Conference.
27. S. Prajna, A. Papachristodoulou, and F. Wu (2004). Nonlinear control synthesis by sum of squares optimization: A Lyapunov-based approach. Proc. Asian Control Conference.
28. S. Prajna, P. A. Parrilo, and A. Rantzer (2004). Nonlinear control synthesis by convex optimization. IEEE Transactions on Automatic Control, 49(2):310-314.
29. A. Rantzer (2001). A dual to Lyapunov's stability theorem. Systems & Control Letters, 42(3):161-168.
30. B. Reznick (1978). Extremal PSD forms with few terms. Duke Mathematical Journal, 45(2):363-374.
31. B. Reznick (2000). Some concrete aspects of Hilbert's 17th problem. In Contemporary Mathematics, 253:251-272, American Mathematical Society.
32. K. Schmüdgen (1991). The k-moment problem for compact semialgebraic sets. Mathematische Annalen, 289:203-206.
33. P. Seiler (2003). Stability region estimates for SDRE controlled systems using sum of squares optimization. Proc. American Control Conference.
34. N. Z. Shor (1987). Class of global minimum bounds of polynomial functions. Cybernetics, 23(6):731-734.
35. J. F. Sturm (1999). Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software, 11-12:625-653. Available at fewcal.kub.nl/sturm/software/sedumi.html.
36. B. Sturmfels (1998). Polynomial equations and convex polytopes. American Mathematical Monthly, 105(10):907-922.
37. K. C. Toh, R. H. Tütüncü, and M. J. Todd (1999). SDPT3 - a MATLAB software package for semidefinite-quadratic-linear programming. Available at www.math.nus.edu.sg/~mattohkc/sdpt3.html.
38. L. Vandenberghe and S. Boyd (1996). Semidefinite programming. SIAM Review, 38(1):49-95.
39. F. Wu and S. Prajna (2004). A new solution approach to polynomial LPV system analysis and synthesis. Proc. American Control Conference.
40. V. A. Yakubovich (1977). S-procedure in nonlinear control theory. Vestnik Leningrad University, 4(1):73-93. English translation.