{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:45:09Z","timestamp":1729619109071,"version":"3.28.0"},"reference-count":55,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7039734","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T14:53:59Z","timestamp":1424184839000},"page":"2272-2281","source":"Crossref","is-referenced-by-count":10,"title":["Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization"],"prefix":"10.1109","author":[{"given":"Amir Ali","family":"Ahmadi","sequence":"first","affiliation":[]},{"given":"Pablo A.","family":"Parrilo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967706"},{"key":"ref38","article-title":"On complexity of Lyapunov functions for switched linear systems","author":"ahmadi","year":"0","journal-title":"Proceedings of the 19th World Congress of the International Federation of Automatic Control 2014"},{"article-title":"Stability of polynomial differential equations: complexity and converse Lyapunov questions","year":"2013","author":"ahmadi","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161499"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161493"},{"key":"ref30","article-title":"Problems of present day mathematics, XVII (Dynamical systems and differential equations)","volume":"28","author":"arnold","year":"1976","journal-title":"Proc Symp Pure Math"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1137\/110856010"},{"key":"ref36","article-title":"SOS-convex Lyapunov functions with applications to nonlinear switched systems","author":"ahmadi","year":"0","journal-title":"Proceedings of the IEEE Conference on Decision and Control 2013"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580838"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315687"},{"key":"ref28","article-title":"Some applications of polynomial optimization in operations research and real-time decision making","author":"ahmadi","year":"2014","journal-title":"Under Review"},{"key":"ref27","article-title":"DSOS and SDSOS: more tractable alternatives to sum of squares and semidefinite optimization","author":"ahmadi","year":"2014","journal-title":"in preparation"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2014.7039413","article-title":"Control and verification of high-dimensional systems via dsos and sdsos optimization","author":"majumdar","year":"2014","journal-title":"submitted to the IEEE Conference on Decision and Control"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377261"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-006-0062-8"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1090\/conm\/253\/03936","article-title":"Some concrete aspects of Hilbert's 17th problem","volume":"253","author":"reznick","year":"2000","journal-title":"Contemporary Mathematics"},{"article-title":"Non-monotonic Lyapunov functions for stability of nonlinear and switched systems: theory and computation","year":"2008","author":"ahmadi","key":"ref22"},{"journal-title":"Nonlinear Systems","year":"2002","author":"khalil","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2512329"},{"key":"ref23","first-page":"157","article-title":"CPLEX. V12. 2: Users manual for CPLEX","volume":"46","year":"2010","journal-title":"International Business Machines Corporation"},{"key":"ref26","first-page":"105","article-title":"Complexity of the positive semidefinite matrix completion problem with a rank constraint","author":"marianna","year":"2013","journal-title":"Discrete Geometry and Optimization"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF02572604"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.019"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(01)00118-9"},{"key":"ref55","doi-asserted-by":"crossref","DOI":"10.1007\/b139028","author":"bacciotti","year":"2005","journal-title":"Liapunov Functions and Stability in Control Theory"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5991573"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1969.1099092"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2012966"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/b96977","volume":"312","author":"henrion","year":"2005","journal-title":"Positive Polynomials in Control"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2009.2015979","article-title":"Special issue on positive polynomials in control","volume":"54","author":"chesi","year":"2009","journal-title":"IEEE Trans Automat Control"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1137\/110855272"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272309"},{"journal-title":"Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis","year":"2011","author":"ahmadi","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2514\/1.50675"},{"key":"ref16","first-page":"369","article-title":"Assessment of aircraft flight controllers using nonlinear robustness analysis techniques","author":"peter","year":"2012","journal-title":"Optimization Based Clearance of Flight Control Laws"},{"key":"ref17","first-page":"5278","article-title":"Nonlinear control design of a hypersonic aircraft using sum-of-squares methods","author":"ataei-esfahani","year":"2007","journal-title":"Proceedings of the American Control Conference"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01443605"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582399"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2162878"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JSTSP.2007.910261"},{"journal-title":"Optimization of Lyapunov invariants in analysis and implementation of safety-critical software systems","year":"2008","author":"roozbehani","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74591-4_9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.88.187904"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2006933"},{"journal-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization","year":"2000","author":"parrilo","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377788"},{"key":"ref45","article-title":"When is a set of LMIs a sufficient condition for stability?","author":"ahmadi","year":"0","journal-title":"Proceedings of the IFAC Symposium on Robust Control Design 2012"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.872764"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.849201"},{"key":"ref42","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-95980-9","volume":"385","author":"jungers","year":"2009","journal-title":"The Joint Spectral Radius Theory and Applications"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739402"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626302"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"2001","author":"hopcroft","key":"ref43"}],"event":{"name":"2014 IEEE 53rd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2014,12,15]]},"location":"Los Angeles, CA, USA","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\/07039734.pdf?arnumber=7039734","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T21:03:41Z","timestamp":1566335021000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7039734\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7039734","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}