mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(3333)
2023
(7640)
2022
(8653)
2021
(8905)
Fakultäten
(8162)
Integrated Research Centers
(423)
Institute for Advanced Study (IAS)
(275)
Munich Center for Technology in Society (MCTS)
(19)
Munich Data Science Institute (MDSI)
(8)
Munich Institute of Biomedical Engineering (MIBE)
(8)
Munich School of Engineering
(52)
Munich Institute of Robotics and Machine Intelligence (MIRMI)
(61)
Zentrale Einrichtungen
(320)
2020
(8177)
2019
(8872)
2018
(8702)
2017
(8694)
2016
(8828)
2015
(8221)
2014
(7134)
2013
(6748)
2012
(5780)
2011
(5563)
2010
(5418)
2009
(4595)
2008
(4104)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2021
Integrated Research Centers
Back
Back to start of result list
Permanent link for displayed object
Document type:
Konferenzbeitrag
Author(s):
Mohapatra, Anurag; Peric, Vedran S.; Hamacher, Thomas
Title:
Formal Verification of Grid Frequency Controllers
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:
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Munich Institute of Integrated Materials, Energy and Process Engineering (MEP)
MSE - Prof. Hamacher
CoSES_collection
mediaTUM Gesamtbestand
Hochschulbibliographie
2021
Integrated Research Centers
Munich School of Engineering