Formal Verification of Grid Frequency Controllers.

Anurag Mohapatra Vedran S. Peric Thomas Hamacher

Published in: ISGT-Europe (2021)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
control system
grid computing
grid points
symbolic model checking
program slicing
expert systems
software engineering
high frequency
low frequency
control law