bei Google ScholarTitelangaben
Mohapatra, Anurag ; Perić, Vedran S. ; Hamacher, Thomas:
Formal verification of grid frequency controllers.
In:
2021 IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe). -
Espoo, Finland
,
2021
. - S. 1-6
DOI: https://doi.org/10.1109/ISGTEurope52324.2021.9640096
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.
Weitere Angaben
| Publikationsform: | Aufsatz in einem Buch |
|---|---|
| Begutachteter Beitrag: | Nein |
| Institutionen der Universität: | Fakultäten > Fakultät für Ingenieurwissenschaften > Lehrstuhl Intelligentes Energiemanagement > Lehrstuhl Intelligentes Energiemanagement - Univ.-Prof. Dr. Vedran Peric |
| Titel an der UBT entstanden: | Nein |
| Themengebiete aus DDC: | 600 Technik, Medizin, angewandte Wissenschaften > 620 Ingenieurwissenschaften |
| Eingestellt am: | 30 Apr 2026 07:56 |
| Letzte Änderung: | 30 Apr 2026 07:56 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/96132 |