Title | Formal Online Resiliency Monitoring in Microgrids |
Publication Type | Conference Paper |
Year of Publication | 2020 |
Authors | Beg, Omar Ali, Yadav, Ajay P., Johnson, Taylor T., Davoudi, Ali |
Conference Name | 2020 Resilience Week (RWS) |
Date Published | oct |
Keywords | distributed control, false-data injection attack, Measurement, metric temporal logic, microgrid, Microgrids, Monitoring, Protocols, pubcrawl, resilience, Resiliency, Runtime, Voltage control |
Abstract | This work adopts an online resiliency monitoring framework employing metric temporal logic (MTL) under cyber-physical anomalies, namely false-data injection attacks, denial-of-service attacks, and physical faults. Such anomalies adversely affect the frequency synchronization, load sharing, and voltage regulation in microgrids. MTL formalism is adopted to monitor the outputs of inverters/converters against operational bounds, detect and quantify cyber-physical anomalies, monitor the microgrid's resiliency during runtime, and compare mitigation strategies. Since the proposed framework does not require system knowledge, it can be deployed on a complex microgrid. This is verified using an IEEE 34-bus feeder system and a DC microgrid cluster in a controller/hardware-in-the-loop environment. |
DOI | 10.1109/RWS50334.2020.9241272 |
Citation Key | beg_formal_2020 |