{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T14:26:05Z","timestamp":1759674365183,"version":"3.37.3"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2018,12,1]],"date-time":"2018-12-01T00:00:00Z","timestamp":1543622400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,12,1]],"date-time":"2018-12-01T00:00:00Z","timestamp":1543622400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,12,1]],"date-time":"2018-12-01T00:00:00Z","timestamp":1543622400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,12,1]],"date-time":"2018-12-01T00:00:00Z","timestamp":1543622400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1218109","CNS-1550029","CNS-1618369"],"award-info":[{"award-number":["CNS-1218109","CNS-1550029","CNS-1618369"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Systems Journal"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/jsyst.2017.2686401","type":"journal-article","created":{"date-parts":[[2017,4,14]],"date-time":"2017-04-14T18:27:36Z","timestamp":1492194456000},"page":"3063-3074","source":"Crossref","is-referenced-by-count":14,"title":["Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0440-0912","authenticated-orcid":false,"given":"Zhe","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. Agung","family":"Julius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6021-0112","authenticated-orcid":false,"given":"Joe H.","family":"Chow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_16"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2014.2306731"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658604"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1007\/978-3-319-24953-7_32","article-title":"Bounded verification with on-the-fly discrepancy computation","volume":"9364","author":"fan","year":"0","journal-title":"Proc Int Symp Automated Technology for Verification and Analysis (ATVA 2015)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.166"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2611536"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LLS.2016.2644646"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TPAS.1983.318067"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2011.2163015"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2421941"},{"journal-title":"Nonlinear Systems","year":"1996","author":"khalil","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2482227"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","article-title":"Robust satisfaction of temporal logic over real-valued signals","author":"donz\u00e9","year":"2010","journal-title":"Proc 8th Int Conf Formal Model Anal Timed Syst"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2014.2360537"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1985.13366"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2347393"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-3-540-71493-4_27","article-title":"Robust test generation and coverage for hybrid systems","author":"julius","year":"2007","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165329"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2015.2466116"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_13"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/PES.2004.1373159"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"article-title":"VNODE-LP—A validated solver for initial value problems in\n ordinary differential equations","year":"2006","author":"nedialkov","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2455111"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014798618404"},{"journal-title":"CAPD-Computer Assisted Proofs in Dynamics a Package for Rigorous Numerics","year":"2002","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/59.331457"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E92.A.871"}],"container-title":["IEEE Systems Journal"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/4267003\/8543256\/7900371-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4267003\/8543256\/07900371.pdf?arnumber=7900371","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:52:00Z","timestamp":1649443920000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7900371\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":28,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/jsyst.2017.2686401","relation":{},"ISSN":["1932-8184","1937-9234","2373-7816"],"issn-type":[{"type":"print","value":"1932-8184"},{"type":"electronic","value":"1937-9234"},{"type":"electronic","value":"2373-7816"}],"subject":[],"published":{"date-parts":[[2018,12]]}}}