Mirco Fabian Woidelko

M.Sc., M.A.
Research Assistant

Contact

Mirco Woidelko, M.Sc., M.A.
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Office Hours
nach Vereinbarung
Harburger Schloßstraße 22a,
21079 Hamburg
Building HS22a, Room 2.004
Phone: +49 40 42878 4093
Logo

Research Project

DisrupSys
Disruptive functions and technology for angle-based integrated grid operation in converter-dominated power systems with predominantly renewable energy supply

DisrupSys

Disruptive functions and technology for angle-based integrated grid operation in converter-dominated power systems with predominantly renewable energy supply

Federal Ministry for Economic Affairs and Climate Action (BMWK); Duration: 2021 to 2024

Publications

TUHH Open Research (TORE)

Courses

Stud.IP
link to course in Stud.IP Studip_icon
Softwareverifikation (VL)
Semester:
WiSe 24/25
Course type:
Lecture
Course number:
lv629
Lecturer:
Prof. Dr. Sibylle Renate Schupp, Antje Rogalla, Service Dozent
Description:
    • Model checking (bounded model checking, CTL, LTL)

    • Real-time model checking (TCTL, timed automata)
    • Deductive verification (Hoare logic)
    • Tool support
    • Recent developments of verification techniques and applications

Stud.IP informationen about this course:
Home institute: E-16 Softwaresysteme
Registered participants in Stud.IP: 103
Postings: 23
Documents: 3

Supervised Theses

ongoing
completed

2023

  • Babendererde, A. (2023). Regelung eines Umrichters zum Anschluss eines Wasserstoffspeicherkraftwerks an die Höchstspannungsebene.

2022

  • Lim, I. (2022). Modelling and Integration of a Hydrogen Storage Power Plant in the 10-Machine New-England Power System.

  • Lindner, J. (2022). Primärregelungskonzepte für einen Batteriepufferspeicher eines Wasserstoffspeicherkraftwerkes.

  • Rieckborn, N. (2022). Modellierung des Umwandlungsprozesses eines Wasserstoffspeicherkraftwerks.