{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T16:11:41Z","timestamp":1770221501167,"version":"3.49.0"},"reference-count":45,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6761016","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T22:14:07Z","timestamp":1394748847000},"page":"7107-7112","source":"Crossref","is-referenced-by-count":14,"title":["Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems"],"prefix":"10.1109","author":[{"given":"Milan","family":"Korda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didier","family":"Henrion","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin N.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","author":"henrion","year":"2012","journal-title":"Convex Computation of the Region of Attraction of Polynomial Control Systems"},{"key":"35","article-title":"SEDUMI: A package for conic optimization","author":"polik","year":"2007","journal-title":"IMA Workshop on Optimization and Control"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.09.020"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1993.42.42045"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1987.1104567"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1137\/070696209"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025364227563"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/9.83532"},{"key":"39","author":"vidal","year":"2000","journal-title":"Controlled invariance of discrete time systems"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021727806358"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-85729-959-8","volume":"415","author":"chesi","year":"2011","journal-title":"Domain of Attraction Analysis and Control via SOS Programming"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042341"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1080\/00207171003692662"},{"key":"38","author":"rubio","year":"1985","journal-title":"Control and Optimization The Linear Treatment of Nonlinear Problems"},{"key":"12","author":"blanchini","year":"2007","journal-title":"Set-Theoretic Methods in Control"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1137\/080730287"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1080\/10556780802699201"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(03)00087-5"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0769-0_24"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127407019755"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1016\/j.cnsns.2008.08.005"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5718147"},{"key":"44","author":"young","year":"1969","journal-title":"Calculus of Variations and Optimal Control Theory"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0729-0"},{"key":"23","author":"kallenberg","year":"2010","journal-title":"Foundations of Modern Probability"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1142\/S021812741102963X"},{"key":"25","author":"kerrigan","year":"2000","journal-title":"Robust constraint satisfaction Invariant sets and predictive control"},{"key":"26","article-title":"Inner approximations of the region of attraction for polynomial dynamical systems","author":"korda","year":"2013","journal-title":"9th IFAC Symposium on Nonlinear Control Systems (NOLCOS)"},{"key":"27","article-title":"Maximal compact positively invariant sets of discrete-time nonlinear systems","author":"krishchenko","year":"2011","journal-title":"Proc IFAC World Congress on Automatic Control"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15358-7_6"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1134\/S096554251301003X"},{"key":"3","author":"anderson","year":"1987","journal-title":"Linear Programming in Infinite-Dimensional Spaces Theory and Applications"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-75914-0_1","article-title":"Transport equation and cauchy problem for nonsmooth vector fields","author":"ambrosio","year":"2008","journal-title":"Calculus of Variations and Partial Differential Equations"},{"key":"10","article-title":"Dynamic augmentation and complexity reduction of set-based constrained control","author":"blanchini","year":"2008","journal-title":"Proc IFAC World Congress on Automatic Control"},{"key":"1","author":"ahmadi","year":"2008","journal-title":"Non-monotonic Lyapunov Functions for Stability of Nonlinear and Switched Systems Theory and Computation"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1142\/p665"},{"key":"7","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1214\/aop\/1065725192","article-title":"Occupation measures for controlled markov process: Characterization and optimality","volume":"24","author":"bhatt","year":"1996","journal-title":"Annals of Probability"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1972.1100085"},{"key":"32","article-title":"YALMIP : A toolbox for modeling and optimization in MATLAB","author":"lofberg","year":"2004","journal-title":"Proc IEEE CCA\/ISIC\/CACSD Conference"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.01.004"},{"key":"31","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1109\/TSMCB.2012.2185842","article-title":"H1 state estimation for discrete- Time chaotic systems based on a unified model","volume":"42","author":"liu","year":"2012","journal-title":"IEEE Trans on Systems Man and Cybernetics - Part B Cybernetics"},{"key":"4","author":"aubin","year":"1990","journal-title":"Set-Valued Analysis"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/9.272351"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","location":"Firenze","start":{"date-parts":[[2013,12,10]]},"end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06761016.pdf?arnumber=6761016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T12:51:38Z","timestamp":1565268698000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6761016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6761016","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}