Formal Verification of Grid Frequency Controllers

Title:: Formal Verification of Grid Frequency Controllers
Document type:: Konferenzbeitrag
Author(s):: Mohapatra, Anurag; Peric, Vedran S.; Hamacher, Thomas
Keywords:: Reachable sets,formal verification,frequency control,load uncertainty,reachability analysis
Book / Congress title:: Proceedings of 2021 IEEE PES Innovative Smart Grid Technologies Europe, Espoo
Publisher:: IEEE PES
Year:: 2021
Print-ISBN:: 9781665448758
Fulltext / DOI:: doi:10.1109/ISGTEurope52324.2021.9640096
BibTeX

Occurrences: