Logo Institute of Electrical Power and Energy Technology
Institute of Electrical Power and Energy Technology
Logo Institute of Electrical Power and Energy Technology
Institute of Electrical Power and Energy Technology
DE
EN
Search
DE
EN
Search
IEET > Staff > Research Assistants > Anna-Lena Steen, M.Sc.

Anna-Lena Steen

M.Sc.
Research Assistant

Contact

Anna-Lena Steen, M. Sc.
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Office Hours
nach Vereinbarung
Harburger Schloßstraße 22a,
21079 Hamburg
Building HS22a, Room 2.017
Phone: +49 40 42878 4091
Logo

Research Project

KoLa
Optimized Load Management and Flexibility Coordination for Electrified Urban Public Transport

KoLa

Optimized Load Management and Flexibility Coordination for Electrified Urban Public Transport

Federal Ministry for Economic Affairs and Climate Action (BMWK); Duration: 2022 to 2026

to the project page

Publications

TUHH Open Research (TORE)

2024

2023

2022

Courses

Stud.IP
zur Veranstaltung in Stud.IP Studip_icon
Software Verification (VL)
Untertitel:
This course is part of the module: Software Verification
Semester:
WiSe 23/24
Veranstaltungstyp:
Vorlesung (Lehre)
Veranstaltungsnummer:
lv629_w23
DozentIn:
Prof. Dr. Sibylle Renate Schupp, Antje Rogalla
Beschreibung:

    • 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
Leistungsnachweis:
610 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li></ul><br>611 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li><li>811 - Software Verification - Exercises: Excercises</li></ul>
ECTS-Kreditpunkte:
3
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Softwaresysteme (E-16)
In Stud.IP angemeldete Teilnehmer: 76
Anzahl der Postings im Stud.IP-Forum: 23
Anzahl der Dokumente im Stud.IP-Downloadbereich: 6

Supervised Theses

ongoing

2024

  • Ahmed, Taha (2024). Development of an iterative multi-agent coordination framework for congestion prevention in low voltage grids.

  • Busch, Marcel (2024). Entwicklung eines Netzmodells zur szenarienbasierten Untersuchung von Engpässen in heutigen und zukünftigen städtischen Verteilnetzen.

  • Krammer, Friederike (2024). Entwicklung eines Algorithmus zur Koordinierung flexibler Prosumer zur Netzengpassvermeidung in Niederspannungssträngen.

  • Möller, Julius (2024). Untersuchung von Kennzahlen zur Bewertung der Diskriminierungsfreiheit von Engpassmanagementmaßnahmen.

  • Wilke, Jan Jakob (2024). Definition leistungsbasierter Netzregeln zur Engpassvermeidung in elektrischen Verteilnetzen.

completed
TU Hamburg
Institute of Electrical Power and Energy Technology (ieet) E-6
Prof. Dr.-Ing. Christian Becker
Harburger Schloßstraße 22a
21079 Hamburg
E-mail : ieet(at)tuhh.de
Phone : +49 40 42878 3213
Links
Map and Directions
Data Privacy
Imprint