TY - GEN

T1 - Formal Verification of Grid Frequency Controllers

AU - Mohapatra, Anurag

AU - Peric, Vedran S.

AU - Hamacher, Thomas

N1 - Publisher Copyright:
© 2021 IEEE.

PY - 2021

Y1 - 2021

N2 - This paper proposes a formal verification strategy of grid frequency control using reachability analysis. Reachability analysis calculates reachable sets, which are all possible evolution of system states, or output variables, given a bounded input uncertainty. Contrary to classical grid frequency control schemes that are generally tuned based on multiple simulations, reachability analysis provides a formal guarantee for the performance of the controller in one computation stage. The proposed method is applied on the IEEE 9-Bus system. The accuracy of reachable sets is validated by simulation results with randomized inputs. In addition, the paper analyses the effect of control parameters and input uncertainties on the reachable sets. Thus, the operator can verify if their tuned frequency controller could violate any mandated grid directives without performing large number of simulations.

AB - This paper proposes a formal verification strategy of grid frequency control using reachability analysis. Reachability analysis calculates reachable sets, which are all possible evolution of system states, or output variables, given a bounded input uncertainty. Contrary to classical grid frequency control schemes that are generally tuned based on multiple simulations, reachability analysis provides a formal guarantee for the performance of the controller in one computation stage. The proposed method is applied on the IEEE 9-Bus system. The accuracy of reachable sets is validated by simulation results with randomized inputs. In addition, the paper analyses the effect of control parameters and input uncertainties on the reachable sets. Thus, the operator can verify if their tuned frequency controller could violate any mandated grid directives without performing large number of simulations.

KW - formal verification

KW - frequency control

KW - load uncertainty

KW - reachability analysis

KW - Reachable sets

UR - http://www.scopus.com/inward/record.url?scp=85123952575&partnerID=8YFLogxK

U2 - 10.1109/ISGTEurope52324.2021.9640096

DO - 10.1109/ISGTEurope52324.2021.9640096

M3 - Article in proceedings

AN - SCOPUS:85123952575

T3 - Proceedings of 2021 IEEE PES Innovative Smart Grid Technologies Europe: Smart Grids: Toward a Carbon-Free Future, ISGT Europe 2021

BT - Proceedings of 2021 IEEE PES Innovative Smart Grid Technologies Europe

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 11th IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2021

Y2 - 18 October 2021 through 21 October 2021

ER -