Abstract-Optimal Power Flow (OPF) är en viktig del av Energy Management System (EMS) eftersom det bestämmer individuella generatorutgångar som minimerar produktionskostnader samtidigt som tillfredsställer överföring, generering och systemnivå driftsbegränsningar. OFF bygger på en grundläggande EMS-rutin, nämligen statsuppskattning, som beräknar systemet, främst bussspänningar/fasvinklar vid bussarna. Statsuppskattning är dock sårbar för falska injiceringsattacker där en motståndare kan ändra vissa mätningar för att korrumpera uppskattningslösningen utan att upptäckas. Det visas också att ett sådant smygande angrepp på statsuppskattningen kan öka OFF-kostnaden. Inverkan av smygande attacker på den ekonomiska och säkra driften av systemet kan dock inte analyseras utförligt på grund av den mycket stora storleken på attackutrymmet. I detta dokument presenterar vi en hybridram som kombinerar formell analys med Simulink-baserad systemmodellering för att undersöka genomförbarheten av smygattacker och deras inflytande på OPF på ett tidseffektivt sätt. Det föreslagna tillvägagångssättet illustreras av syntetiska fallstudier som visar effekterna av smygattacker i olika attackscenarier. Vi utvärderar också konsekvensanalystiden genom att genomföra experiment på standard IEEE testfall och resultaten visar på en betydande skalbarhet i ramverket.
I REF undersökte författarna genomförbarheten och det ekonomiska inflytandet av smygande attacker med hjälp av Simulink och formell modell.
Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis
{'venue': None, 'journal': 'IEEE Transactions on Dependable and Secure Computing', 'mag_field_of_study': ['Computer Science']}