{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:09:56Z","timestamp":1729678196434,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/isgteurope.2012.6465673","type":"proceedings-article","created":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T08:20:14Z","timestamp":1362126014000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Transient stability analysis by reachable set computation"],"prefix":"10.1109","author":[{"given":"M.","family":"Althoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Cvetkovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Ilic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/NAPS.2005.1560550"},{"key":"17","first-page":"257","article-title":"Efficient computation of reachable sets of linear time-invariant systems with inputs","volume":"3927","author":"girard","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"journal-title":"Applied Interval Analysis","year":"2006","author":"jaulin","key":"18"},{"key":"15","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","volume":"3414","author":"girard","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"16","first-page":"8966","article-title":"Efficient reachability analysis for linear systems using support functions","author":"girard","year":"2008","journal-title":"Proc of the 17th IFAC World Congress"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2011.77"},{"key":"14","first-page":"379","article-title":"SpaceEx: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Proc of the 23rd International Corerence on Computer Aided Verification LNCS 6806"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009958918582"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/5.481632"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/WESCON.1995.485271"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/59.131067"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(85)90095-0"},{"journal-title":"Electrical Power System Essentials","year":"2008","author":"schavemaker","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2005.857266"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/NAPS.2008.5307297"},{"journal-title":"Power systems test case archive","year":"0","key":"27"},{"journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars","year":"2010","author":"althoff","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/59.589801"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/T-AIEE.1928.5055078"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/PTC.2001.964750"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15956-5_4"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185643"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2004.826765"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TPAS.1983.317742"}],"event":{"name":"2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe)","start":{"date-parts":[[2012,10,14]]},"location":"Berlin","end":{"date-parts":[[2012,10,17]]}},"container-title":["2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6450175\/6465601\/06465673.pdf?arnumber=6465673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T04:29:40Z","timestamp":1498019380000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6465673\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/isgteurope.2012.6465673","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}