{"id":"https://openalex.org/W4415180503","doi":"https://doi.org/10.23919/ecc65951.2025.11186916","title":"Logic-based Resilience Computation of Power Systems Against Frequency Requirements","display_name":"Logic-based Resilience Computation of Power Systems Against Frequency Requirements","publication_year":2025,"publication_date":"2025-06-24","ids":{"openalex":"https://openalex.org/W4415180503","doi":"https://doi.org/10.23919/ecc65951.2025.11186916"},"language":"en","primary_location":{"id":"doi:10.23919/ecc65951.2025.11186916","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc65951.2025.11186916","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 European Control Conference (ECC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5106693649","display_name":"Negar Monir","orcid":null},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Negar Monir","raw_affiliation_strings":["Newcastle University,School of Computing,Newcastle Upon Tyne,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,Newcastle Upon Tyne,United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057719067","display_name":"Mahdieh S. Sadabadi","orcid":"https://orcid.org/0000-0002-4609-9152"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mahdieh S. Sadabadi","raw_affiliation_strings":["The University of Manchester,Department of Electrical and Electronic Engineering,Manchester,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Manchester,Department of Electrical and Electronic Engineering,Manchester,United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjani","raw_affiliation_strings":["Max Planck Institute for Software Systems,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1062","last_page":"1069"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10305","display_name":"Power System Optimization and Stability","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10305","display_name":"Power System Optimization and Stability","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11941","display_name":"Power System Reliability and Maintenance","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/electric-power-system","display_name":"Electric power system","score":0.7717000246047974},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6089000105857849},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.6001999974250793},{"id":"https://openalex.org/keywords/automatic-frequency-control","display_name":"Automatic frequency control","score":0.4790000021457672},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.45329999923706055},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.446399986743927},{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.43639999628067017},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.41280001401901245},{"id":"https://openalex.org/keywords/frequency-deviation","display_name":"Frequency deviation","score":0.3971000015735626},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.39089998602867126}],"concepts":[{"id":"https://openalex.org/C89227174","wikidata":"https://www.wikidata.org/wiki/Q2388981","display_name":"Electric power system","level":3,"score":0.7717000246047974},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6089000105857849},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.6001999974250793},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5730000138282776},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5349000096321106},{"id":"https://openalex.org/C25915539","wikidata":"https://www.wikidata.org/wiki/Q220786","display_name":"Automatic frequency control","level":2,"score":0.4790000021457672},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.45329999923706055},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.446399986743927},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.43639999628067017},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4242999851703644},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.41280001401901245},{"id":"https://openalex.org/C123919525","wikidata":"https://www.wikidata.org/wiki/Q761942","display_name":"Frequency deviation","level":3,"score":0.3971000015735626},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.39089998602867126},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.37119999527931213},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3693000078201294},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.3635999858379364},{"id":"https://openalex.org/C2777693866","wikidata":"https://www.wikidata.org/wiki/Q359099","display_name":"Blackout","level":4,"score":0.3513999879360199},{"id":"https://openalex.org/C8590192","wikidata":"https://www.wikidata.org/wiki/Q1054694","display_name":"Frequency response","level":2,"score":0.3400000035762787},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.33180001378059387},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3260999917984009},{"id":"https://openalex.org/C22762622","wikidata":"https://www.wikidata.org/wiki/Q628904","display_name":"Operating point","level":2,"score":0.3244999945163727},{"id":"https://openalex.org/C188573790","wikidata":"https://www.wikidata.org/wiki/Q12705","display_name":"Renewable energy","level":2,"score":0.32199999690055847},{"id":"https://openalex.org/C193254401","wikidata":"https://www.wikidata.org/wiki/Q2160088","display_name":"Robust optimization","level":2,"score":0.3084000051021576},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C116219307","wikidata":"https://www.wikidata.org/wiki/Q7236625","display_name":"Power system simulation","level":4,"score":0.29499998688697815},{"id":"https://openalex.org/C167063184","wikidata":"https://www.wikidata.org/wiki/Q1400839","display_name":"Vulnerability assessment","level":3,"score":0.29179999232292175},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2777999937534332},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C423512","wikidata":"https://www.wikidata.org/wiki/Q383973","display_name":"Electricity generation","level":3,"score":0.2702000141143799},{"id":"https://openalex.org/C21905445","wikidata":"https://www.wikidata.org/wiki/Q5502873","display_name":"Frequency grid","level":3,"score":0.26969999074935913},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.2694000005722046},{"id":"https://openalex.org/C2983254600","wikidata":"https://www.wikidata.org/wiki/Q1096907","display_name":"Power grid","level":3,"score":0.266400009393692},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2578999996185303},{"id":"https://openalex.org/C68781425","wikidata":"https://www.wikidata.org/wiki/Q2052203","display_name":"Multi-objective optimization","level":2,"score":0.2524999976158142}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23919/ecc65951.2025.11186916","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc65951.2025.11186916","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/3ce8c6bd-b22c-43ee-81af-d95ffb991d51","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/3ce8c6bd-b22c-43ee-81af-d95ffb991d51","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Monir, N, Sadabadi, M S & Soudjani, S 2025, 'Logic-based Resilience Computation of Power Systems Against Frequency Requirements', arXiv .","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/ae2966f5-a798-4a4f-9407-e50d71a7b29b","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/ae2966f5-a798-4a4f-9407-e50d71a7b29b","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Monir, N, Sadabadi, M S & Soudjani, S 2025, Logic-based Resilience Computation of Power Systems Against Frequency Requirements. in 2025 European Control Conference, ECC 2025. 2025 edn, IEEE, pp. 1062-1069, 2025 European Control Conference, ECC 2025, Thessaloniki, Greece, 24/06/25. https://doi.org/10.23919/ECC65951.2025.11186916","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W632782024","https://openalex.org/W1515641485","https://openalex.org/W1543750907","https://openalex.org/W1547304883","https://openalex.org/W1619798441","https://openalex.org/W1995884340","https://openalex.org/W2007930753","https://openalex.org/W2081825986","https://openalex.org/W2091413995","https://openalex.org/W2095274657","https://openalex.org/W2106424475","https://openalex.org/W2121264465","https://openalex.org/W2153024173","https://openalex.org/W2275069942","https://openalex.org/W2329811151","https://openalex.org/W2481731143","https://openalex.org/W2529048185","https://openalex.org/W2557129370","https://openalex.org/W2790380176","https://openalex.org/W2793672775","https://openalex.org/W2810118191","https://openalex.org/W2847546062","https://openalex.org/W2886331135","https://openalex.org/W2962921185","https://openalex.org/W3016416372","https://openalex.org/W3021850350","https://openalex.org/W3026534080","https://openalex.org/W3104983175","https://openalex.org/W3205440964","https://openalex.org/W3212205618","https://openalex.org/W4242678887","https://openalex.org/W4243262353","https://openalex.org/W4385694217","https://openalex.org/W4394568899","https://openalex.org/W4402587388","https://openalex.org/W4407951572"],"related_works":[],"abstract_inverted_index":{"Incorporating":[0],"renewable":[1],"energy":[2],"sources":[3],"into":[4,107,136],"modern":[5],"power":[6,18,62,81],"grids":[7],"has":[8,14,151],"significantly":[9],"decreased":[10],"system":[11,19,78,82,124],"inertia,":[12],"which":[13],"raised":[15],"concerns":[16],"about":[17],"vulnerability":[20],"to":[21,68,89,103,117],"disturbances":[22,65],"and":[23,40,47,84,162,177],"frequency":[24,35,71,93,105],"instability.":[25],"The":[26,131,148],"conventional":[27],"methods":[28],"for":[29,57],"evaluating":[30],"transient":[31],"stability":[32],"by":[33,97],"bounding":[34],"deviations":[36],"are":[37],"often":[38],"conservative":[39],"may":[41],"not":[42],"accurately":[43],"reflect":[44],"real-world":[45],"conditions":[46,176],"operational":[48,70],"constraints.":[49,72,130],"To":[50],"address":[51],"this,":[52],"we":[53],"propose":[54],"a":[55,137],"framework":[56],"assessing":[58,171],"the":[59,76,91,119,123,142,145,155],"resilience":[60,172],"of":[61,80],"systems":[63],"against":[64],"while":[66,140],"adhering":[67],"realistic":[69],"Our":[73],"approach":[74],"leverages":[75],"Lur\u2019e":[77],"representation":[79],"dynamics":[83],"Signal":[85],"Temporal":[86],"Logic":[87],"(STL)":[88],"capture":[90],"essential":[92],"response":[94],"requirements":[95],"set":[96],"grid":[98],"operators.":[99],"This":[100],"enables":[101],"us":[102],"translate":[104],"constraints":[106],"formal":[108],"robustness":[109],"semantics.":[110],"We":[111],"then":[112],"formulate":[113],"an":[114],"optimization":[115,133,139],"problem":[116],"identify":[118],"maximum":[120],"disturbance":[121],"that":[122],"can":[125],"withstand":[126],"without":[127],"violating":[128],"these":[129],"resulting":[132],"is":[134],"translated":[135],"scenario":[138],"addressing":[141],"uncertainty":[143],"in":[144,170],"obtained":[146],"solution.":[147],"proposed":[149],"methodology":[150],"been":[152],"simulated":[153],"on":[154],"Single":[156],"Machine":[157],"Infinite":[158],"Bus":[159],"case":[160],"study":[161],"9-Bus":[163],"IEEE":[164],"benchmark":[165],"system,":[166],"demonstrating":[167],"its":[168],"effectiveness":[169],"across":[173],"various":[174],"operating":[175],"delivering":[178],"promising":[179],"results.":[180]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-15T00:00:00"}