{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T15:56:51Z","timestamp":1781798211455,"version":"3.54.5"},"reference-count":60,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/acc.2005.1470374","type":"proceedings-article","created":{"date-parts":[[2005,8,10]],"date-time":"2005-08-10T14:45:32Z","timestamp":1123685132000},"page":"2686-2700","source":"Crossref","is-referenced-by-count":162,"title":["A tutorial on sum of squares techniques for systems analysis"],"prefix":"10.1109","author":[{"given":"A.","family":"Papachristodoulou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Prajna","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.9.307-321"},{"key":"36","article-title":"Minimizing polynomial functions","author":"parrilo","year":"2001","journal-title":"Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science"},{"key":"33","doi-asserted-by":"crossref","DOI":"10.1007\/10997703_2","article-title":"Analysis of non-polynomial systems using the sum of squares decomposition","author":"papachristodoulou","year":"2005","journal-title":"Positive Polynomials in Control"},{"key":"34","author":"parrilo","year":"2000","journal-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization"},{"key":"39","article-title":"Barrier certificates for nonlinear model validation","author":"prajna","year":"2003","journal-title":"Proceedings of the IEEE Conference on Decision and Control"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/9.284871"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(97)83827-3"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184594"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1243743"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428804"},{"key":"40","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","article-title":"Safety verification of hybrid systems using barrier certificates","author":"prajna","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"22","author":"kuang","year":"1993","journal-title":"Delay Differential Equations With Applications in Population Dynamics"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470377"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"25","author":"low","year":"0","journal-title":"FAST Project"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/9.587335"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/b98869"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/BF02592948"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2003.1208662"},{"key":"3","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-46430-1_8","article-title":"Optimization-based verification and stability characterization of piecewise affine and hybrid systems","volume":"1790","author":"bemporad","year":"2000","journal-title":"Hybrid Systems Computation and Control LNCS"},{"key":"2","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-36580-X_4","article-title":"Progress on reachability analysis of hybrid systems using predicate abstraction","volume":"2623","author":"alur","year":"2003","journal-title":"Hybrid Systems Computation and Control LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"7","first-page":"103","article-title":"Sum of squares of real polynomials","volume":"58","author":"choi","year":"1995","journal-title":"Proceedings of Symposia in Pure Mathematics"},{"key":"30","doi-asserted-by":"crossref","first-page":"4153","DOI":"10.23919\/ACC.2004.1383959","article-title":"Analysis of nonlinear time-delay systems using the sum of squares decomposition","volume":"5","author":"papachristodoulou","year":"2004","journal-title":"Proceedings of the 2004 American Control Conference ACC"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1429529"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470378"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"59","first-page":"73","article-title":"S-procedure in nonlinear control theory","volume":"4","author":"yakubovic","year":"1977","journal-title":"in Vestnik Leningradskogo Universiteta"},{"key":"58","article-title":"A new solution approach to polynomial LPV system analysis and synthesis","author":"wu","year":"2004","journal-title":"Proceedings of the American Control Conference"},{"key":"57","doi-asserted-by":"publisher","DOI":"10.1007\/BF00276494"},{"key":"56","doi-asserted-by":"publisher","DOI":"10.1007\/BF00276493"},{"key":"19","author":"khalil","year":"1996","journal-title":"Nonlinear Systems"},{"key":"55","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272309"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/9.664157"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4342-7","author":"hale","year":"1993","journal-title":"Introduction to Functional Differential Equations"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.703296"},{"key":"13","author":"garulli","year":"2005","journal-title":"Positive Polynomials in Control"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470376"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.871309"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(02)00152-4"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470177"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1965-0"},{"key":"60","first-page":"62","year":"1971","journal-title":"Vestnik Leningradskogo Universiteta Seriya Matematika"},{"key":"49","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1090\/conm\/253\/03936","article-title":"Some concrete aspects of Hubert's 17th problem","volume":"253","author":"reznick","year":"2000","journal-title":"Contemporary Mathematics"},{"key":"48","author":"prestel","year":"2001","journal-title":"Positive Polynomials from Hubert's 17th Problem to Real Algebra"},{"key":"45","doi-asserted-by":"crossref","first-page":"5606","DOI":"10.23919\/ACC.2004.1384747","article-title":"New developments in sum of squares optimization and SOSTOOLS","volume":"6","author":"prajna","year":"2004","journal-title":"Proceedings of the 2004 American Control Conference ACC"},{"key":"44","article-title":"SOSTOOLS - Sum of Squares Optimization Toolbox","author":"prajna","year":"0","journal-title":"User's Guide"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.823000"},{"key":"46","first-page":"157","article-title":"Nonlinear control synthesis by sum of squares optimization: a Lyapunov-based approach","volume":"1","author":"prajna","year":"2004","journal-title":"2004 5th Asian Control Conference (IEEE Cat No 04EX904) ASCC"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0002475"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1109\/9.148346"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1080\/10556789908805766"},{"key":"53","author":"toh","year":"1999","journal-title":"SDPT3 - A MATLAB Software Package for Semidefinitequadratic-linear Programming"},{"key":"54","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"50","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1243345"}],"event":{"name":"Proceedings of the 2005, American Control Conference, 2005.","location":"Portland, OR, USA"},"container-title":["Proceedings of the 2005, American Control Conference, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9861\/31519\/01470374.pdf?arnumber=1470374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T15:27:15Z","timestamp":1552490835000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1470374\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/acc.2005.1470374","relation":{},"subject":[]}}