{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:37:18Z","timestamp":1763642238102,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963334","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T21:39:58Z","timestamp":1499722798000},"page":"2536-2543","source":"Crossref","is-referenced-by-count":13,"title":["Compositional transient stability analysis of power systems via the computation of reachable sets"],"prefix":"10.23919","author":[{"given":"Ahmed","family":"El-Guindy","sequence":"first","affiliation":[]},{"given":"Yu Christine","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","first-page":"120","article-title":"An Introduction to CORA 2015","author":"althoff","year":"0","journal-title":"Proc of the Workshop on Applied Verification for Continuous and Hybrid Systems 2015"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009958918582"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_37"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-13669-6","author":"milano","year":"2010","journal-title":"Power System Modelling and Scripting"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2003.811207"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.10.695"},{"key":"ref11","first-page":"1","article-title":"Formal LPV control for transient stability of power systems","author":"el-guindy","year":"2017","journal-title":"Proc of the 2017 IEEE Power and Energy Society General Meeting"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijepes.2010.01.014"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963126"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2285751"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/T-AIEE.1920.4765322"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"1387","DOI":"10.1109\/TPWRS.2004.825981","article-title":"Definition and classification of power system stability IEEE\/CIGRE joint task force on stability terms and definitions","volume":"19","author":"kundur","year":"2004","journal-title":"IEEE Transactions on Power Systems"},{"key":"ref17","volume":"7","author":"kundur","year":"0","journal-title":"Power System Stability and Control"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/9780470545577"},{"key":"ref19","first-page":"338","article-title":"Power system transient stability design using reachability based stability-region computation","author":"jin","year":"2005","journal-title":"Proceedings of the 37th Annual North American Power Symposium"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_23"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530460"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_3"},{"journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars","year":"2010","author":"althoff","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2015.2509649"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45928-7_11"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2012.2194168"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.2013.2295168"},{"journal-title":"Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics","year":"2009","author":"le guernic","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2012.2210254"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586828"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/NAPS.2008.5307297"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref24","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"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165329"},{"key":"ref26","first-page":"258","article-title":"Flow*: An analyzer for non-linear hybrid systems","author":"chen","year":"2013","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"}],"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\/07963334.pdf?arnumber=7963334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T20:00:43Z","timestamp":1624478443000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963334\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":34,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963334","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}