{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T00:30:19Z","timestamp":1772757019164,"version":"3.50.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,6,11]],"date-time":"2015-06-11T00:00:00Z","timestamp":1433980800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Optim Lett"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s11590-015-0894-3","type":"journal-article","created":{"date-parts":[[2015,6,11]],"date-time":"2015-06-11T04:21:36Z","timestamp":1433996496000},"page":"709-729","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":42,"title":["Some applications of polynomial optimization in operations research and real-time decision making"],"prefix":"10.1007","volume":"10","author":[{"given":"Amir Ali","family":"Ahmadi","sequence":"first","affiliation":[]},{"given":"Anirudha","family":"Majumdar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,11]]},"reference":[{"key":"894_CR1","unstructured":"Gurobi optimizer reference manual (2012). http:\/\/www.gurobi.com"},{"key":"894_CR2","unstructured":"MOSEK reference manual, 2013. Version 7. Latest version available at http:\/\/www.mosek.com\/"},{"key":"894_CR3","unstructured":"Ahmadi, A.A.: Algebraic relaxations and hardness results in polynomial optimization and Lyapunov analysis. PhD thesis, Massachusetts Institute of Technology (2011). http:\/\/aaa.princeton.edu\/publications"},{"key":"894_CR4","doi-asserted-by":"crossref","unstructured":"Ahmadi, A.A., Majumdar, A.: DSOS and SDSOS optimization: LP and SOCP-based alternatives to sum of squares optimization. In: Proceedings of the 48th Annual Conference on Information Sciences and Systems. Princeton University (2014)","DOI":"10.1109\/CISS.2014.6814141"},{"key":"894_CR5","doi-asserted-by":"crossref","unstructured":"Ahmadi, A.A., Majumdar, A.: DSOS and SDSOS optimization: more tractable alternatives to SOS optimization (2014, in preparation). http:\/\/aaa.princeton.edu\/publications","DOI":"10.1109\/CISS.2014.6814141"},{"issue":"1","key":"894_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10107-002-0339-5","volume":"95","author":"F Alizadeh","year":"2003","unstructured":"Alizadeh, F., Goldfarb, D.: Second-order cone programming. Math. Program. 95(1), 3\u201351 (2003)","journal-title":"Math. Program."},{"key":"894_CR7","volume-title":"Optimal Control: Linear Quadratic Methods","author":"BDO Anderson","year":"1990","unstructured":"Anderson, B.D.O., Moore, J.B.: Optimal Control: Linear Quadratic Methods. Prentice-Hall Inc, Upper Saddle River (1990)"},{"key":"894_CR8","doi-asserted-by":"crossref","unstructured":"Barry, A.J., Majumdar, A., Tedrake, R.: Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates. In: Proceedings of the IEEE International Conference on Robotics and Automation, pp. 484\u2013490. IEEE (2012)","DOI":"10.1109\/ICRA.2012.6225351"},{"key":"894_CR9","doi-asserted-by":"crossref","unstructured":"Berman, O., Jaillet, P., Simchi-Levi, D.: Location-routing problems with uncertainty. Facility location: a survey of applications and methods, vol.\u00a0106, pp. 427\u2013452 (1995)","DOI":"10.1007\/978-1-4612-5355-6_19"},{"key":"894_CR10","volume-title":"Dynamic Programming and Optimal Control","author":"DP Bertsekas","year":"1995","unstructured":"Bertsekas, D.P.: Dynamic Programming and Optimal Control, vol. 1. Athena Scientific Belmont, MA (1995)"},{"key":"894_CR11","unstructured":"Bertsimas, D., Tsitsiklis, J.N.: Introduction to Linear Optimization (1997)"},{"key":"894_CR12","doi-asserted-by":"crossref","unstructured":"Blackmore, L., Acikmese, B., Scharf, D.P.: Minimum landing error powered descent guidance for Mars landing using convex optimization. AIAA J. Guid. Control Dyn. 33, (2010)","DOI":"10.2514\/1.47202"},{"key":"894_CR13","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/j.laa.2005.03.029","volume":"405","author":"EG Boman","year":"2005","unstructured":"Boman, E.G., Chen, D., Parekh, O., Toledo, S.: On factor width and symmetric H-matrices. Linear Algebra Appl. 405, 239\u2013248 (2005)","journal-title":"Linear Algebra Appl."},{"key":"894_CR14","unstructured":"Commander, C.W.: Optimization problems in telecommunications with military applications. PhD thesis, University of Florida (2007)"},{"issue":"1","key":"894_CR15","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s11590-006-0043-0","volume":"2","author":"CW Commander","year":"2008","unstructured":"Commander, C.W., Pardalos, P.M., Ryabchenko, V., Shylo, O., Uryasev, S., Zrazhevsky, G.: Jamming communication networks under complete uncertainty. Optim. Lett. 2(1), 53\u201370 (2008)","journal-title":"Optim. Lett."},{"issue":"4","key":"894_CR16","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/s10878-007-9071-7","volume":"14","author":"CW Commander","year":"2007","unstructured":"Commander, C.W., Pardalos, P.M., Ryabchenko, V., Uryasev, S., Zrazhevsky, G.: The wireless network jamming problem. J. Combin. Optim. 14(4), 481\u2013498 (2007)","journal-title":"J. Combin. Optim."},{"key":"894_CR17","doi-asserted-by":"crossref","unstructured":"Domahidi, A., Chu, E., Boyd, S.: ECOS: An SOCP solver for embedded systems. In: European Control Conference (ECC), pp. 3071\u20133076. IEEE (2013)","DOI":"10.23919\/ECC.2013.6669541"},{"issue":"3","key":"894_CR18","doi-asserted-by":"crossref","first-page":"497","DOI":"10.2307\/2372560","volume":"79","author":"L Dubins","year":"1957","unstructured":"Dubins, L.: On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents. Am. J. Math. 79(3), 497\u2013516 (1957)","journal-title":"Am. J. Math."},{"key":"894_CR19","doi-asserted-by":"crossref","unstructured":"Hilbert, D.: \u00dcber die Darstellung Definiter Formen als Summe von Formenquadraten. Math. Ann. 32 (1888)","DOI":"10.1007\/BF01443605"},{"key":"894_CR20","doi-asserted-by":"crossref","unstructured":"Hoffmann, G.M., Huang, H., Waslander, S.L., Tomlin, C.J.: Quadrotor helicopter flight dynamics and control: theory and experiment. In: Proceedings of the AIAA Guidance, Navigation, and Control Conference, pp. 1\u201320 (2007)","DOI":"10.2514\/6.2007-6461"},{"key":"894_CR21","doi-asserted-by":"crossref","unstructured":"Jarvis-Wloszek, Z., Feeley, R., Tan, W., Sun, K., Packard, A.: Some controls applications of sum of squares programming. In: 42nd IEEE Conference on Decision and Control, vol. 5, pp. 4676\u20134681 (2003)","DOI":"10.1109\/CDC.2003.1272309"},{"key":"894_CR22","doi-asserted-by":"crossref","unstructured":"Karlof, J.K.: Integer Programming: Theory and Practice. CRC Press, Boca Raton (2005)","DOI":"10.1201\/9781420039597"},{"key":"894_CR23","volume-title":"Nonlinear Systems","author":"H Khalil","year":"2002","unstructured":"Khalil, H.: Nonlinear Systems, 3rd edn. Prentice Hall, Englewood Cliffs (2002)","edition":"3"},{"key":"894_CR24","doi-asserted-by":"crossref","unstructured":"Laurent, M.: Sums of squares, moment matrices and optimization over polynomials. In: Emerging Applications of Algebraic Geometry, pp. 157\u2013270. Springer, Berlin (2009)","DOI":"10.1007\/978-0-387-09686-5_7"},{"key":"894_CR25","doi-asserted-by":"crossref","unstructured":"Majumdar, A., Ahmadi, A.A., Tedrake, R.: Control design along trajectories with sums of squares programming. In: Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA) (2013)","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"894_CR26","doi-asserted-by":"crossref","unstructured":"Majumdar, A., Ahmadi, A.A., Tedrake, R.: Control and verification of high-dimensional systems via DSOS and SDSOS optimization. In: Proceedings of the 53rd IEEE Conference on Decision and Control (2014)","DOI":"10.1109\/CDC.2014.7039413"},{"key":"894_CR27","doi-asserted-by":"crossref","unstructured":"Majumdar, A., Tedrake, R.: Robust online motion planning with regions of finite time invariance. In: Algorithmic Foundations of Robotics X, pp. 543\u2013558. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-36279-8_33"},{"issue":"3","key":"894_CR28","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MSP.2010.936020","volume":"27","author":"J Mattingley","year":"2010","unstructured":"Mattingley, J., Boyd, S.: Real-time convex optimization in signal processing. IEEE Signal Process. Mag. 27(3), 50\u201361 (2010)","journal-title":"IEEE Signal Process. Mag."},{"issue":"1","key":"894_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11081-011-9176-9","volume":"13","author":"J Mattingley","year":"2012","unstructured":"Mattingley, J., Boyd, S.: CVXGEN: a code generator for embedded convex optimization. Optim. Eng. 13(1), 1\u201327 (2012)","journal-title":"Optim. Eng."},{"key":"894_CR30","unstructured":"Mellinger, D., Michael, N., Kumar, V.: Trajectory generation and control for precise aggressive maneuvers with quadrotors. In: Proceedings of the 12th International Symposium on Experimental Robotics (ISER 2010) (2010)"},{"key":"894_CR31","doi-asserted-by":"crossref","unstructured":"Mellinger, D., Michael, N., Shomin, M., Kumar, V.: Recent advances in quadrotor capabilities. 2011 IEEE International Conference on Robotics and Automation (2011)","DOI":"10.1109\/ICRA.2011.5980163"},{"key":"894_CR32","unstructured":"Mellinger, D., Shomin, M., Michael, N., Kumar, V.: Cooperative grasping and transport using multiple quadrotors. In: Proceedings of the International Symposium on Distributed Autonomous Robotic Systems (2010)"},{"key":"894_CR33","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF02592948","volume":"39","author":"KG Murty","year":"1987","unstructured":"Murty, K.G., Kabadi, S.N.: Some NP-complete problems in quadratic and nonlinear programming. Math. Program. 39, 117\u2013129 (1987)","journal-title":"Math. Program."},{"issue":"1","key":"894_CR34","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/j.jco.2006.07.002","volume":"23","author":"J Nie","year":"2007","unstructured":"Nie, J., Schweighofer, M.: On the complexity of Putinar\u2019s Positivstellensatz. J. Complex. 23(1), 135\u2013150 (2007)","journal-title":"J. Complex."},{"key":"894_CR35","unstructured":"Parrilo, P.A.: Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. PhD thesis, California Institute of Technology (2000)"},{"key":"894_CR36","doi-asserted-by":"crossref","unstructured":"Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Math. Program. 96(2 Ser. B), 293\u2013320 (2003)","DOI":"10.1007\/s10107-003-0387-5"},{"issue":"3","key":"894_CR37","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1137\/S003614450444614X","volume":"49","author":"I P\u00f3lik","year":"2007","unstructured":"P\u00f3lik, I., Terlaky, T.: A survey of the S-lemma. SIAM Rev. 49(3), 371\u2013418 (2007)","journal-title":"SIAM Rev."},{"key":"894_CR38","doi-asserted-by":"crossref","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Hybrid Systems: Computation and Control, pp. 477\u2013492. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24743-2_32"},{"issue":"8","key":"894_CR39","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S Prajna","year":"2007","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.J.: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control 52(8), 1415\u20131428 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3","key":"894_CR40","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1512\/iumj.1993.42.42045","volume":"42","author":"M Putinar","year":"1993","unstructured":"Putinar, M.: Positive polynomials on compact semi-algebraic sets. Indiana Univ. Math. J. 42(3), 969\u2013984 (1993)","journal-title":"Indiana Univ. Math. J."},{"issue":"2","key":"894_CR41","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF01362149","volume":"207","author":"G Stengle","year":"1974","unstructured":"Stengle, G.: A Nullstellensatz and a Positivstellensatz in semialgebraic geometry. Math. Ann. 207(2), 87\u201397 (1974)","journal-title":"Math. Ann."},{"key":"894_CR42","unstructured":"Sturm, J.: SeDuMi version 1.05 (2001). Latest version available at http:\/\/sedumi.ie.lehigh.edu\/"},{"issue":"1","key":"894_CR43","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1137\/1038003","volume":"38","author":"L Vandenberghe","year":"1996","unstructured":"Vandenberghe, L., Boyd, S.: Semidefinite programming. SIAM Rev. 38(1), 49\u201395 (1996)","journal-title":"SIAM Rev."}],"container-title":["Optimization Letters"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11590-015-0894-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11590-015-0894-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11590-015-0894-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,26]],"date-time":"2019-08-26T15:45:22Z","timestamp":1566834322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11590-015-0894-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,11]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["894"],"URL":"https:\/\/doi.org\/10.1007\/s11590-015-0894-3","relation":{},"ISSN":["1862-4472","1862-4480"],"issn-type":[{"value":"1862-4472","type":"print"},{"value":"1862-4480","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,11]]}}}