Formal Verification of Grid Frequency Controllers

Anurag Mohapatra, Vedran S. Peric, Thomas Hamacher

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Abstract

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.

OriginalsprogEngelsk
TitelProceedings of 2021 IEEE PES Innovative Smart Grid Technologies Europe : Smart Grids: Toward a Carbon-Free Future, ISGT Europe 2021
ForlagInstitute of Electrical and Electronics Engineers Inc.
Publikationsdato2021
ISBN (Elektronisk)9781665448758
DOI
StatusUdgivet - 2021
Begivenhed11th IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2021 - Espoo, Finland
Varighed: 18 okt. 202121 okt. 2021

Konference

Konference11th IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2021
Land/OmrådeFinland
ByEspoo
Periode18/10/202121/10/2021
SponsorIEEE Power and Energy Society
NavnProceedings of 2021 IEEE PES Innovative Smart Grid Technologies Europe: Smart Grids: Toward a Carbon-Free Future, ISGT Europe 2021

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formal Verification of Grid Frequency Controllers'. Sammen danner de et unikt fingeraftryk.

Citationsformater