Benutzer: Gast  Login
Titel:

Formal Verification of Grid Frequency Controllers

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Mohapatra, Anurag; Peric, Vedran S.; Hamacher, Thomas
Stichworte:
Reachable sets,formal verification,frequency control,load uncertainty,reachability analysis
Kongress- / Buchtitel:
Proceedings of 2021 IEEE PES Innovative Smart Grid Technologies Europe, Espoo
Verlag / Institution:
IEEE PES
Jahr:
2021
Print-ISBN:
9781665448758
Volltext / DOI:
doi:10.1109/ISGTEurope52324.2021.9640096
 BibTeX