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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Bezout. Théorie Générale des Equations Algébriques. Imprimerie Ph.-D. Pierres, Rue Saint-Jacques à Paris, 1779.
L. Vandenberghe and S. Boyd. “Semidefinite programming,” SIAM Review, 38(1):49–95, 1996.
M. Goemans. “Semidefinite programming in combinatorial optimization,” Mathematical Programming, 79:143–161, 1997.
M. Grötschel, L. Lovász, and A. Schrijver. Geometric Algorithms and Combinatorial Optimization, volume 2 of Algorithms and Combinatorics. Springer-Verlag, 1988.
Yu. Nesterov and A. Nemirovsky. Interior-point polynomial methods in convex programming, volume 13 of Studies in Applied Mathematics. SIAM, Philadelphia, PA, 1994.
D. Bertsimas and Y. Ye. “Semidefinite relaxations, multivariate normal distributions, and order statistics,” 1997.
T. Cover and M. Thomas. Elements of Information Theory. Wiley, 1991.
F. Uhlig. “A recurring theorem about pairs of quadratic forms and extensions: A survey,” Linear Algebra and Appl., 25:219–237, 1979.
M. R. Hestenes. Optimization Theory, the Finite Dimensional Case. Krieger, Huntington, New York, 1981.
R. Horn and C. Johnson. Topics in Matrix Analysis. Cambridge University Press, Cambridge, 1991.
M. A. Aizerman and F. R. Gantmacher. Absolute stability of regulator systems. Information Systems. Holden-Day, San Francisco, 1964.
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.
V. A. Yakubovich. “The S-procedure in non-linear control theory,” Vestnik Leningrad Univ. Math., 4:73–93, 1977. In Russian, 1971.
A. Packard and J. Doyle. “The complex structured singular value,” Automatica, 29(1):71–109, 1993.
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.
A. Megretski and A. Rantzer. “System analysis via integral quadratic constraints,” IEEE Trans. Aut. Control, 42:819–830, June 1997.
V. A. Yakubovich. “Nonconvex optimization problem: The infinite-horizon linear-quadratic control problem with quadratic constraints,” Syst. Control Letters, July 1992.
M. Goemans and D. Williamson. “Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming,” J. ACM, 42:1115–1145, 1995.
C. Lin. Towards Optimal Strain Actuated Aeroelastic Control. PhD thesis, Massachusetts Institute of Technology, January 1996.
Yu. Nesterov. “Quality of semidefinite relaxation for nonconvex quadratic optimization,” February 1997.
Y. Ye. “Approximating quadratic programming with quadratic constraints,” April 1997.
N. J. Shor. “Quadratic optimization problems,” Soviet Journal of Circuits ans Systems Sciences, 25(6):1–11, 1987.
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.
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.
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.
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.
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.
F. Oustry, L. El Ghaoui, and H. Lebret. “Robust solutions to uncertain semidefinite programs,” SIAM J. on Optimization, 1998.
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.
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.
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.
E. Feron. “Quadratic stabilizability of switched systems via state and output feedback,” Technical Report CICS-P-468, Center for Intelligent Control Systems, 1996.
J. Doyle. “Analysis of feedback systems with structured uncertainties,” IEE Proc., 129-D(6):242–250, November 1982.
M. G. Safonov. “Stability margins of diagonally perturbed multivariable feedback systems,” IEE Proc., 129-D:251–256, 1982.
C. Boussios and E. Feron. “Estimating the conservatism of popov’s criterion for real parametric uncertainties,” Syst. Control Letters, (31):173–183, 1997.
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.
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.
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.
M. Johansson and A. Rantzer. “Computation of piecewise quadratic lyapunov functions for hybrid systems,” IEEE Trans. Aut. Control, (4), april 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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