{"id":"https://openalex.org/W2159633361","doi":"https://doi.org/10.1109/iccps.2014.6843721","title":"A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids","display_name":"A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids","publication_year":2014,"publication_date":"2014-04-01","ids":{"openalex":"https://openalex.org/W2159633361","doi":"https://doi.org/10.1109/iccps.2014.6843721","mag":"2159633361"},"language":"en","primary_location":{"id":"doi:10.1109/iccps.2014.6843721","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccps.2014.6843721","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)","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/A5100648380","display_name":"Mohammad Ashiqur Rahman","orcid":"https://orcid.org/0000-0002-2963-7430"},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohammad Ashiqur Rahman","raw_affiliation_strings":["Dept. of Software and Information Systems, University of North Carolina at Charlotte, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Software and Information Systems, University of North Carolina at Charlotte, USA","institution_ids":["https://openalex.org/I102149020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043893479","display_name":"Ehab Al\u2010Shaer","orcid":"https://orcid.org/0000-0002-7665-8293"},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ehab Al-Shaer","raw_affiliation_strings":["Dept. of Software and Information Systems, University of North Carolina at Charlotte, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Software and Information Systems, University of North Carolina at Charlotte, USA","institution_ids":["https://openalex.org/I102149020"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040420034","display_name":"Rajesh Kavasseri","orcid":"https://orcid.org/0000-0002-4444-8136"},"institutions":[{"id":"https://openalex.org/I125467818","display_name":"Dakota State University","ror":"https://ror.org/016yv6y68","country_code":"US","type":"education","lineage":["https://openalex.org/I125467818"]},{"id":"https://openalex.org/I57328836","display_name":"North Dakota State University","ror":"https://ror.org/05h1bnb22","country_code":"US","type":"education","lineage":["https://openalex.org/I57328836"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajesh G. Kavasseri","raw_affiliation_strings":["Dept. of Electrical and Computer Engineering, North Dakota State University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, North Dakota State University, USA","institution_ids":["https://openalex.org/I125467818","https://openalex.org/I57328836"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.0631,"has_fulltext":false,"cited_by_count":41,"citation_normalized_percentile":{"value":0.97833642,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"175","last_page":"186"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9998999834060669,"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/T10305","display_name":"Power System Optimization and Stability","score":0.9987999796867371,"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/T10454","display_name":"Optimal Power Flow Distribution","score":0.991599977016449,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7004579305648804},{"id":"https://openalex.org/keywords/estimator","display_name":"Estimator","score":0.6706497669219971},{"id":"https://openalex.org/keywords/electric-power-system","display_name":"Electric power system","score":0.61224764585495},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.6047046184539795},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5300626158714294},{"id":"https://openalex.org/keywords/adversary","display_name":"Adversary","score":0.4898924231529236},{"id":"https://openalex.org/keywords/state-estimator","display_name":"State estimator","score":0.4636728763580322},{"id":"https://openalex.org/keywords/electric-power-transmission","display_name":"Electric power transmission","score":0.43006622791290283},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.3974011540412903},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.37721264362335205},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.36276882886886597},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2309846580028534},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.17284613847732544},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16826379299163818},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11774501204490662}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7004579305648804},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.6706497669219971},{"id":"https://openalex.org/C89227174","wikidata":"https://www.wikidata.org/wiki/Q2388981","display_name":"Electric power system","level":3,"score":0.61224764585495},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.6047046184539795},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5300626158714294},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.4898924231529236},{"id":"https://openalex.org/C2984536560","wikidata":"https://www.wikidata.org/wiki/Q818544","display_name":"State estimator","level":3,"score":0.4636728763580322},{"id":"https://openalex.org/C140311924","wikidata":"https://www.wikidata.org/wiki/Q200928","display_name":"Electric power transmission","level":2,"score":0.43006622791290283},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.3974011540412903},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.37721264362335205},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.36276882886886597},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2309846580028534},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.17284613847732544},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16826379299163818},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11774501204490662},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccps.2014.6843721","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccps.2014.6843721","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1495373176","https://openalex.org/W1571403844","https://openalex.org/W1598852905","https://openalex.org/W1936354298","https://openalex.org/W1977504955","https://openalex.org/W2001464395","https://openalex.org/W2002323397","https://openalex.org/W2005028112","https://openalex.org/W2010644735","https://openalex.org/W2022589548","https://openalex.org/W2038651258","https://openalex.org/W2064111006","https://openalex.org/W2115656617","https://openalex.org/W2164681195","https://openalex.org/W2439424908","https://openalex.org/W4214484041","https://openalex.org/W6718803878"],"related_works":["https://openalex.org/W4388150944","https://openalex.org/W4287880334","https://openalex.org/W4242235492","https://openalex.org/W4237162029","https://openalex.org/W2367268135","https://openalex.org/W4366700029","https://openalex.org/W2385701518","https://openalex.org/W4285230481","https://openalex.org/W4237464767","https://openalex.org/W4385769873"],"abstract_inverted_index":{"In":[0],"modern":[1],"energy":[2],"control":[3],"centers,":[4],"the":[5,20,37,43,49,53,63,75,98,105,122,128,144,171],"Optimal":[6],"Power":[7],"Flow":[8],"(OPF)":[9],"routine":[10],"is":[11,84,158,178],"used":[12,77],"to":[13,86,96,141,169],"determine":[14],"individual":[15],"generator":[16],"outputs":[17],"that":[18,74,114],"minimize":[19],"overall":[21],"cost":[22],"of":[23,39,124,146,173],"generation":[24],"while":[25],"meeting":[26],"transmission,":[27],"generation,":[28],"and":[29,62,126,130,150],"system":[30,50,132],"level":[31],"operating":[32],"constraints.":[33],"OPF":[34,125],"relies":[35],"on":[36,117,153,183],"output":[38],"another":[40],"module,":[41],"namely":[42],"state":[44,82,118],"estimator,":[45],"which":[46,177],"computes":[47],"all":[48],"variables,":[51],"principally":[52],"voltage":[54],"magnitudes":[55],"with":[56,160],"phase":[57],"angles,":[58],"transmission":[59],"line":[60],"flows,":[61],"bus":[64],"(and":[65],"total":[66],"system)":[67],"loads.":[68],"However,":[69],"recent":[70],"works":[71],"have":[72],"shown":[73],"widely":[76],"weighted":[78],"least":[79],"square":[80],"based":[81,139],"estimation":[83,119],"vulnerable":[85],"stealthy":[87,148],"attacks":[88,149],"wherein":[89],"an":[90,115,161],"adversary":[91],"can":[92,120],"alter":[93],"certain":[94],"measurements":[95],"corrupt":[97],"estimator's":[99,106],"solution,":[100],"yet":[101],"remain":[102],"undetected":[103],"by":[104,180],"bad":[107],"data":[108],"detection":[109],"algorithm.":[110],"Here,":[111],"we":[112],"show":[113],"attack":[116],"compromise":[121],"integrity":[123],"undermine":[127],"economic":[129],"secure":[131],"operation.":[133],"We":[134,164],"present":[135],"a":[136,167],"formal":[137],"verification":[138],"framework":[140],"systematically":[142],"investigate":[143],"feasibility":[145],"such":[147],"their":[151],"influence":[152],"OPF.":[154],"The":[155],"proposed":[156],"approach":[157],"described":[159],"illustrative":[162],"example.":[163],"also":[165],"develop":[166],"mechanism":[168],"increase":[170],"efficiency":[172],"executing":[174],"our":[175],"model,":[176],"evaluated":[179],"running":[181],"experiments":[182],"different":[184],"IEEE":[185],"test":[186],"cases.":[187]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3}],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2025-10-10T00:00:00"}