User: Guest  Login
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