Formal Verification of Grid Frequency Controllers

Formal Verification of Grid Frequency Controllers

Proceedings of 2021 IEEE PES Innovative Smart Grid Technologies Europe, Espoo, 2021

Access paper here

Recommended citation: A. Mohapatra, V. Peric, T. Hamacher. "Formal Verification of Grid Frequency Controllers". Proceedings of 2021 IEEE PES Innovative Smart Grid Technologies Europe, Espoo, 2021.