Skip to main content

Nonconvex Quadratic Programming, Semidefinite Relaxations and Randomization Algorithms in Information and Decision Systems

  • Chapter
System Theory

Part of the book series: The Springer International Series in Engineering and Computer Science ((SECS,volume 518))

Abstract

Nonconvex quadratic optimization problems and the methods for their analysis have been on the center stage of information and decision systems for the past 50 years. Although most of these problems are very complex in general, all of them may be relaxed to semidefinite programs. In many cases, this relaxation is tight or it may be bounded. The solution to those programs facilitates the solution to the original nonconvex problem, notably via efficient randomization techniques. Engineering applications of nonconvex quadratic programming and related solution techniques are virtually infinite. Examples extracted from the current literature on information and decision systems are provided. These examples include network optimization problems, linear and nonlinear control problems and important linear algebra problems.

Research funded by NASA (NCC2-1044), ONR (N00014-99-1-0668) and Draper Laboratory (DL-H-505334).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Bezout. Théorie Générale des Equations Algébriques. Imprimerie Ph.-D. Pierres, Rue Saint-Jacques à Paris, 1779.

    Google Scholar 

  2. L. Vandenberghe and S. Boyd. “Semidefinite programming,” SIAM Review, 38(1):49–95, 1996.

    Article  MathSciNet  MATH  Google Scholar 

  3. M. Goemans. “Semidefinite programming in combinatorial optimization,” Mathematical Programming, 79:143–161, 1997.

    MathSciNet  MATH  Google Scholar 

  4. M. Grötschel, L. Lovász, and A. Schrijver. Geometric Algorithms and Combinatorial Optimization, volume 2 of Algorithms and Combinatorics. Springer-Verlag, 1988.

    Book  MATH  Google Scholar 

  5. Yu. Nesterov and A. Nemirovsky. Interior-point polynomial methods in convex programming, volume 13 of Studies in Applied Mathematics. SIAM, Philadelphia, PA, 1994.

    Book  Google Scholar 

  6. D. Bertsimas and Y. Ye. “Semidefinite relaxations, multivariate normal distributions, and order statistics,” 1997.

    Google Scholar 

  7. T. Cover and M. Thomas. Elements of Information Theory. Wiley, 1991.

    Book  Google Scholar 

  8. F. Uhlig. “A recurring theorem about pairs of quadratic forms and extensions: A survey,” Linear Algebra and Appl., 25:219–237, 1979.

    Article  MathSciNet  MATH  Google Scholar 

  9. M. R. Hestenes. Optimization Theory, the Finite Dimensional Case. Krieger, Huntington, New York, 1981.

    Google Scholar 

  10. R. Horn and C. Johnson. Topics in Matrix Analysis. Cambridge University Press, Cambridge, 1991.

    Book  MATH  Google Scholar 

  11. M. A. Aizerman and F. R. Gantmacher. Absolute stability of regulator systems. Information Systems. Holden-Day, San Francisco, 1964.

    Google Scholar 

  12. A. L. Fradkov and V. A. Yakubovich. “The S-procedure and duality relations in nonconvex problems of quadratic programming,” Vestnik Leningrad Univ. Math., 6(1):101–109, 1979. In Russian, 1973.

    Google Scholar 

  13. V. A. Yakubovich. “The S-procedure in non-linear control theory,” Vestnik Leningrad Univ. Math., 4:73–93, 1977. In Russian, 1971.

    Google Scholar 

  14. A. Packard and J. Doyle. “The complex structured singular value,” Automatica, 29(1):71–109, 1993.

    Article  MathSciNet  MATH  Google Scholar 

  15. A. Megretsky. “Necessary and sufficient conditions of stability: A multiloop generalization of the circle criterion,” IEEE Trans. Aut. Control, AC-38(5):753–756, May 1993.

    Article  Google Scholar 

  16. A. Megretski and A. Rantzer. “System analysis via integral quadratic constraints,” IEEE Trans. Aut. Control, 42:819–830, June 1997.

    Article  MathSciNet  MATH  Google Scholar 

  17. V. A. Yakubovich. “Nonconvex optimization problem: The infinite-horizon linear-quadratic control problem with quadratic constraints,” Syst. Control Letters, July 1992.

    Google Scholar 

  18. M. Goemans and D. Williamson. “Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming,” J. ACM, 42:1115–1145, 1995.

    Article  MathSciNet  MATH  Google Scholar 

  19. C. Lin. Towards Optimal Strain Actuated Aeroelastic Control. PhD thesis, Massachusetts Institute of Technology, January 1996.

    Google Scholar 

  20. Yu. Nesterov. “Quality of semidefinite relaxation for nonconvex quadratic optimization,” February 1997.

    Google Scholar 

  21. Y. Ye. “Approximating quadratic programming with quadratic constraints,” April 1997.

    Google Scholar 

  22. N. J. Shor. “Quadratic optimization problems,” Soviet Journal of Circuits ans Systems Sciences, 25(6):1–11, 1987.

    MathSciNet  MATH  Google Scholar 

  23. E. Frazzoli, Z.-H. Mao, J.-H. Oh, and E. Feron. “Aircraft conflict resolution via semidefinite programming,” Technical Report ICAT 4–1999, International Center for Air Transportation, Massachusetts Institute of Technology, May 1999.

    Google Scholar 

  24. H. Sherali and W. Adams. “A hierarchy of relaxations between the continuous and convex hull representations for zero-one programming problems,” SIAM J. on Discrete Mathematics, (3):411–430, 1990.

    Article  MathSciNet  MATH  Google Scholar 

  25. L. Lovász and A. Schriver. “Cones of matrices and set-functions and 0–1 optimization,” SIAM J. on Optimization, 1(2):166–190, May 1991.

    Article  MATH  Google Scholar 

  26. M. Kojima and L. Tuncel. “Discretization and localization in successive convex relaxation methods for nonconvex quadratic optimization problems,” Technical Report B-341, Research Reports on Information Sciences, Series B (Operations Research). Tokyo Inst. Technology, July 1998.

    Google Scholar 

  27. S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory, volume 15 of SIAM Studies in Applied Mathematics. SIAM, 1994.

    Book  MATH  Google Scholar 

  28. F. Oustry, L. El Ghaoui, and H. Lebret. “Robust solutions to uncertain semidefinite programs,” SIAM J. on Optimization, 1998.

    Google Scholar 

  29. A. M. Lyapunov. Problème général de la stabilité du mouvement, volume 17 of Annals of Mathematics Studies. Princeton University Press, Princeton, 1947.

    Google Scholar 

  30. A. I. Lur’e and V. N. Postnikov. “On the theory of stability of control systems,” Applied mathematics and mechanics, 8(3), 1944. In Russian.

    Google Scholar 

  31. M. Wicks, P. Peleties, and R. DeCarlo. “Switched controller synthesis for the quadratic stabilization of a pair of unstable linear systems,” European J. of Control, 4:140–147, 1998.

    MATH  Google Scholar 

  32. E. Feron. “Quadratic stabilizability of switched systems via state and output feedback,” Technical Report CICS-P-468, Center for Intelligent Control Systems, 1996.

    Google Scholar 

  33. J. Doyle. “Analysis of feedback systems with structured uncertainties,” IEE Proc., 129-D(6):242–250, November 1982.

    MathSciNet  Google Scholar 

  34. M. G. Safonov. “Stability margins of diagonally perturbed multivariable feedback systems,” IEE Proc., 129-D:251–256, 1982.

    MathSciNet  Google Scholar 

  35. C. Boussios and E. Feron. “Estimating the conservatism of popov’s criterion for real parametric uncertainties,” Syst. Control Letters, (31):173–183, 1997.

    Article  MathSciNet  MATH  Google Scholar 

  36. K. Yang, S. R. Hall, and E. Feron. “Robust h2 control,” In L. El Ghaoui and S. Niculescu, editors, Recent Advances in Linear Matrix Inequality Methods in Control. SIAM, 1999.

    Google Scholar 

  37. J. Suykens and J. Vandewalle. “Synchronization theory for lur’e systems: an overview,” In International Workshop on Nonlinear Dynamics of Electronic Systems, Denmark, July 1999. Keynote address.

    Google Scholar 

  38. E. Feron, P. Apkarian, and P. Gahinet. “Analysis and synthesis of robust control systems via parameter-dependent lyapunov functions,” IEEE Trans. Aut. Control, 41(7):1041–1046, July 1996.

    Article  MathSciNet  MATH  Google Scholar 

  39. M. Johansson and A. Rantzer. “Computation of piecewise quadratic lyapunov functions for hybrid systems,” IEEE Trans. Aut. Control, (4), april 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer Science+Business Media New York

About this chapter

Cite this chapter

Feron, E. (2000). Nonconvex Quadratic Programming, Semidefinite Relaxations and Randomization Algorithms in Information and Decision Systems. In: Djaferis, T.E., Schick, I.C. (eds) System Theory. The Springer International Series in Engineering and Computer Science, vol 518. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5223-9_19

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-5223-9_19

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-7380-3

  • Online ISBN: 978-1-4615-5223-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics