{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T16:38:17Z","timestamp":1774715897955,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7039413","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T19:53:59Z","timestamp":1424202839000},"page":"394-401","source":"Crossref","is-referenced-by-count":43,"title":["Control and verification of high-dimensional systems with DSOS and SDSOS programming"],"prefix":"10.1109","author":[{"given":"Anirudha","family":"Majumdar","sequence":"first","affiliation":[]},{"given":"Amir Ali","family":"Ahmadi","sequence":"additional","affiliation":[]},{"given":"Russ","family":"Tedrake","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/10997703_11","article-title":"Exploiting algebraic structure in sum of squares programs","author":"parrilo","year":"2005","journal-title":"Positive Polynomials in Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530945"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717269"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2088590"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1002\/9781118627372","volume":"18","author":"nemhauser","year":"1988","journal-title":"Integer and Combinatorial Optimization"},{"key":"ref15","author":"junger","year":"2009","journal-title":"50 Years of Integer Programming 1958–2008 From the Early Years to the State-of-the-Art"},{"key":"ref16","article-title":"Solving large-scale robust stability problems by exploiting the parallel structure of polya's theorem","volume":"58","author":"kamyar","year":"2012","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref17","article-title":"Interior-point algorithms for sum-of-squares optimization of multidimensional trigonometric polynomials","volume":"3","author":"tae","year":"2007","journal-title":"IEEE International Conference on Acoustics Speech and Signal Processing"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/110836869"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2005.03.029"},{"key":"ref4","first-page":"4676","article-title":"Some controls applications of sum of squares programming","volume":"5","author":"jarvis-","year":"2003","journal-title":"42nd IEEE Conference on Decision and Control"},{"key":"ref27","author":"betts","year":"2001","journal-title":"Practical Methods for Optimal Control Using Nonlinear Programming"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.010"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2015979"},{"key":"ref5","first-page":"271","article-title":"Safety verification of hybrid systems using barrier certificates","volume":"2993","author":"prajna","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"ref7","author":"ahmadi","year":"2011","journal-title":"Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis"},{"key":"ref2","author":"parrilo","year":"2000","journal-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF02592948"},{"key":"ref1","article-title":"DSOS and SDSOS optimization: More tractable alternatives to SOS optimization","author":"ahmadi","year":"2014","journal-title":"preparation"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-002-0339-5"},{"key":"ref22","article-title":"Systems polynomial optimization tools (SPOT)","author":"megretski","year":"2010"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/253\/03936"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/37.341864"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1109\/ACC.2013.6580838","article-title":"Complexity often decision problems in continuous time dynamical systems","author":"ahmadi","year":"2013","journal-title":"2013 American Control Conference (ACC"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"ref25","article-title":"System identification toolbox for use with matlab","author":"ljung","year":"2007"}],"event":{"name":"2014 IEEE 53rd Annual Conference on Decision and Control (CDC)","location":"Los Angeles, CA, USA","start":{"date-parts":[[2014,12,15]]},"end":{"date-parts":[[2014,12,17]]}},"container-title":["53rd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027307\/7039338\/07039413.pdf?arnumber=7039413","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T15:26:52Z","timestamp":1747668412000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7039413\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7039413","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}