{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:22:37Z","timestamp":1730341357779,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963335","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T17:39:58Z","timestamp":1499708398000},"page":"2544-2549","source":"Crossref","is-referenced-by-count":1,"title":["Template complex zonotopes for stability and invariant verification"],"prefix":"10.23919","author":[{"given":"Arvind","family":"Adimoolam","sequence":"first","affiliation":[]},{"given":"Thao","family":"Dang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"1175","article-title":"Asymptotic analysis of digital control systems","volume":"49","author":"mikheev","year":"1988","journal-title":"Automation and Remote Control"},{"key":"ref38","article-title":"Computer control: An overview","volume":"1","author":"wittenmark","year":"2002","journal-title":"IFAC Professional Brief"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377785"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.831175"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2007.10.009"},{"key":"ref30","article-title":"Delay Impulsive Systems: A Framework for Modeling Networked Control Systems","author":"naghshtabrizi","year":"2007","journal-title":"University of California"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.757793"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.09.033"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_2"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.03.003"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"3449","DOI":"10.1016\/j.automatica.2013.08.022","article-title":"Convex conditions for robust stability analysis and stabilization of linear aperiodic impulsive and sampled-data systems under dwell-time constraints","volume":"49","author":"briat","year":"2013","journal-title":"Automatica"},{"journal-title":"CVX MATLAB Software for Disciplined Convex Programming","year":"2008","author":"michael","key":"ref40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.919257"},{"key":"ref12","first-page":"106","article-title":"Static determination of dynamic properties of programs","author":"cousot","year":"1976","journal-title":"2nd Int Symp Prog"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25318-8_6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2010.938196"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039616"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.11.017"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2029304"},{"key":"ref19","first-page":"291","article-title":"Reachability of uncertain linear systems using zonotopes","author":"girard","year":"2005","journal-title":"HSCC"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44978-7_10"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69166-2_13"},{"key":"ref27","first-page":"202","article-title":"Ellipsoidal techniques for reachability analysis","author":"kurzhanski","year":"2000","journal-title":"HSCC volume 1790 of LNCS"},{"key":"ref3","first-page":"127","article-title":"Quadratic zonotopes-an extension of zonotopes to quadratic arithmetics","author":"adj\u00e9","year":"2015","journal-title":"APLAS 2015"},{"key":"ref6","first-page":"173","article-title":"Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets","author":"althoff","year":"2013","journal-title":"HSCC 2013"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318262"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3182\/20120914-2-US-4030.00014"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17933-9_9"},{"key":"ref1","article-title":"Using complex zonotopes for stability vecification","author":"adimoolam","year":"2016","journal-title":"American Control Conference"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2008.931718"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2012.06.001"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.883030"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859334"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1109\/TSMCB.2003.808181","article-title":"A LMI approach to robust h2 sampled-data control for linear uncertain systems","volume":"33","author":"hu","year":"2003","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582504"},{"key":"ref25","article-title":"Stability verification of nearly periodic impulsive linear systems using reachability analysis","author":"al khatib","year":"2015","journal-title":"ADHS 2015"}],"event":{"name":"2017 American Control Conference (ACC)","start":{"date-parts":[[2017,5,24]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951530\/7962914\/07963335.pdf?arnumber=7963335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T15:59:31Z","timestamp":1624463971000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963335\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":40,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963335","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}