Exploiting algebraic structure in global optimization and the Belgian chocolate problem
- 126 Downloads
The Belgian chocolate problem involves maximizing a parameter \(\delta \) over a non-convex region of polynomials. In this paper we detail a global optimization method for this problem that outperforms previous such methods by exploiting underlying algebraic structure. Previous work has focused on iterative methods that, due to the complicated non-convex feasible region, may require many iterations or result in non-optimal \(\delta \). By contrast, our method locates the largest known value of \(\delta \) in a non-iterative manner. We do this by using the algebraic structure to go directly to large limiting values, reducing the problem to a simpler combinatorial optimization problem. While these limiting values are not necessarily feasible, we give an explicit algorithm for arbitrarily approximating them by feasible \(\delta \). Using this approach, we find the largest known value of \(\delta \) to date, \(\delta = 0.9808348\). We also demonstrate that in low degree settings, our method recovers previously known upper bounds on \(\delta \) and that prior methods converge towards the \(\delta \) we find.
KeywordsGlobal optimization Control theory Belgian chocolate problem Stability Simultaneous stabilization
The authors would like to thank Bob Barmish for his valuable feedback, discussions, and advice. Zachary Charles was partially supported by the National Science Foundation Grant DMS-1502553. Nigel Boston was partially supported by the Simons Foundation Grant MSN179747.
- 3.Blondel, V.: Simultaneous Stabilization of Linear Systems. Lecture Notes in Control and Information Sciences. Springer, Berlin (1994)Google Scholar
- 4.Boston, N.: On the Belgian chocolate problem and output feedback stabilization: efficacy of algebraic methods. In: Communication, Control, and Computing (Allerton), 2012 50th Annual Allerton Conference on, pp. 869–870. IEEE (2012)Google Scholar
- 5.Burke, J.V., Henrion, D., Lewis, A.S., Overton, M.L.: Analysis of a Belgian Chocolate Stabilization Problem. LAAS-CNRS Research Report 5164 (2005)Google Scholar
- 7.Guannan, H., Long, W., Bican, X., Wensheng, Y.: Stabilization of the Belgian chocolate system via low-order controllers. In: Control Conference, 2007. CCC 2007. Chinese, pp. 88–92. IEEE (2007)Google Scholar