Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Mohapatra, Anurag; Peric, Vedran S.; Hamacher, Thomas
- Titel:
- Formal Verification of Grid Frequency Controllers
- 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