{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T15:39:41Z","timestamp":1772638781786,"version":"3.50.1"},"reference-count":41,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,24]]},"DOI":"10.23919\/ecc65951.2025.11186916","type":"proceedings-article","created":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T17:38:09Z","timestamp":1760463489000},"page":"1062-1069","source":"Crossref","is-referenced-by-count":2,"title":["Logic-based Resilience Computation of Power Systems Against Frequency Requirements"],"prefix":"10.23919","author":[{"given":"Negar","family":"Monir","sequence":"first","affiliation":[{"name":"Newcastle University,School of Computing,Newcastle Upon Tyne,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahdieh S.","family":"Sadabadi","sequence":"additional","affiliation":[{"name":"The University of Manchester,Department of Electrical and Electronic Engineering,Manchester,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2021.107477"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.sciaf.2024.e02357"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1201\/9781420009248-13"},{"key":"ref4","volume-title":"Power system control and stability.","author":"Vittal","year":"2019"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3389\/fenrg.2015.00036"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2019.2900843"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SEST48500.2020.9203234"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/9780470872130"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/PES.2011.6039137"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2015.2433932"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2012.2187466"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2013.2266441"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2016.2630799"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2012.2194168"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2014.2306731"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2016.2615600"},{"key":"ref17","article-title":"Robust transient stability assessment via reachability analysis","volume-title":"Proc. Bulk Power Syst. Dyn. Control Symp.(iREP)","author":"Lee"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2018.2850904"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2848107"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2018.06.003"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/9783527667147.ch07"},{"key":"ref22","volume-title":"The Grid Code","year":"2024"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461337"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1049\/iet-esi.2019.0135"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00013"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-016-1056-9"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2808446"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-024-02074-3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2021.3127922"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.energy.2023.128673"},{"key":"ref32","first-page":"514","article-title":"Nonconvex scenario optimization for data-driven reachability","volume-title":"6th Annual Learning for Dynamics & Control Conference","author":"Dietrich"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CDC56724.2024.10886437"},{"key":"ref34","article-title":"Illinois Center for a Smarter Electric Grid","year":"2013"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1002\/9781119121534"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2020.3037265"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2018.05.011"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-68928-5"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-011-0026-8"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2010.2051168"}],"event":{"name":"2025 European Control Conference (ECC)","location":"Thessaloniki, Greece","start":{"date-parts":[[2025,6,24]]},"end":{"date-parts":[[2025,6,27]]}},"container-title":["2025 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11186289\/11186290\/11186916.pdf?arnumber=11186916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T06:06:19Z","timestamp":1760508379000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11186916\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,24]]},"references-count":41,"URL":"https:\/\/doi.org\/10.23919\/ecc65951.2025.11186916","relation":{},"subject":[],"published":{"date-parts":[[2025,6,24]]}}}