{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T01:55:39Z","timestamp":1746496539180,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963126","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T21:39:58Z","timestamp":1499722798000},"page":"1263-1270","source":"Crossref","is-referenced-by-count":20,"title":["Estimating the region of attraction via forward reachable sets"],"prefix":"10.23919","author":[{"given":"Ahmed","family":"El-Guindy","sequence":"first","affiliation":[]},{"given":"Dongkun","family":"Han","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","volume":"7","author":"kundur","year":"1994","journal-title":"Power System Stability and Control"},{"key":"ref32","first-page":"640","article-title":"Polynomial level-set methods for nonlinear dynamical systems analysis","author":"wang","year":"2005","journal-title":"Proc Allerton Conf on Comm Control and Comp"},{"journal-title":"SMRSOFT A Matlab Toolbox for Optimization Over Polynomials and Dynamical Systems Study via SOS Programming","year":"0","author":"chesi","key":"ref31"},{"journal-title":"A Toolbox of level set methods","year":"0","author":"mitchell","key":"ref30"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963334"},{"key":"ref35","first-page":"173","article-title":"Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets","author":"althoff","year":"2013","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/090749955"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(85)90099-8"},{"key":"ref11","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":"Proc of the 5th Asian Control Conference"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914221"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-959-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2046926"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039413"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799125"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1985.1104057"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijepes.2010.01.014"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009958918582"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2003.811207"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_37"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2316\/Journal.206.2007.3.206-2829"},{"key":"ref6","volume":"3","author":"khalil","year":"1996","journal-title":"Nonlinear Systems"},{"key":"ref29","first-page":"120","article-title":"An Introduction to CORA 2015","author":"althoff","year":"2015","journal-title":"Proc of Applied Verification for Continuous and Hybrid Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2013.2246233"},{"journal-title":"Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics","year":"2009","author":"le guernic","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717652"},{"journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars","year":"2010","author":"althoff","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225361"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","article-title":"Reachability of uncertain linear systems using zonotopes","author":"girard","year":"2005","journal-title":"Hybrid Systems Computation and Control"},{"journal-title":"Reachability analysis and deterministic global optimization of differential-algebraic systems","year":"2012","author":"scott","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2015.2509649"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910387173"},{"key":"ref25","first-page":"1","article-title":"Formal LPV control for transient stability of power systems","author":"el-guindy","year":"0","journal-title":"Proc of the 2017 IEEE Power and Energy Society General Meeting 2017"}],"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\/07963126.pdf?arnumber=7963126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T19:59:56Z","timestamp":1624478396000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963126\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":36,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963126","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}