Thema: Implementierung verifizierter Lösungsalgorithmen für dynamische Systemmodelle in C++ sowie Schaffung von Schnittstellen zu Matlab und Kopplungsmöglichkeiten mit bestehenden Bibliotheken

Thema: Implementierung verifizierter Lösungsalgorithmen für dynamische Systemmodelle in C++ sowie Schaffung von Schnittstellen zu Matlab und Kopplungsmöglichkeiten mit bestehenden Bibliotheken

Grunddaten

Titel Implementierung verifizierter Lösungsalgorithmen für dynamische Systemmodelle in C++ sowie Schaffung von Schnittstellen zu Matlab und Kopplungsmöglichkeiten mit bestehenden Bibliotheken
Beschreibung
Verifizierte Simulationsprogramme, welche die Mengen möglicher Zustände von dynamischen Systemen mit Unsicherheiten durch die Nutzung von Intervallarithmetik, ellipsoidalen Einschlüssen oder anderen Mengenrepräsentationen beschreiben, sind oft in unterschiedlichen Programmiersprachen wie C/C+, Python oder Matlab implementiert. Der Nachteil interpretierter Sprachen ist dabei in einer höheren Rechenzeit zu sehen, während Matlab-Umsetzungen den Vorteil einer schnellen Test- und auch Visualisierbarkeit von Ergebnissen haben. Ausgewählte Simulationsansätze sollen im Rahmen dieses Themenkomplexes in der Form reimplementiert werden, dass rechenzeitkritische Teile in C/C++ umgesetzt werden. Dabei soll insbesondere auf bestehende Bibliotheken wie CAPD zurückgegriffen werden. Möglichkeiten, die implementierten Routinen auch auf GPU-Architekturen bei bestimmten Voraussetzungen an Datenparallelität auszuführen, sollen analysiert, beschrieben und genutzt werden. Gleiches gilt für eine Kopplung der erarbeiteten Software-Umsetzung mit Teilroutinen, welche von ihrem Rechenzeitbedarf unkritisch sind und daher für eine schnelle Erweiterbarkeit in Matlab umgesetzt bleiben sollen.
Heimateinrichtung Department für Informatik
Art der Arbeit konzeptuell / theoretisch
Abschlussarbeitstyp Bachelor oder Master
Autor Prof. Dr.-Ing. habil. Andreas Rauh
Status verfügbar
Aufgabenstellung
Voraussetzung
Erstellt 03.02.2022

Studiendaten

Abteilungen
  • Verteilte Regelung in vernetzten Systemen
Studiengänge
  • Fach-Bachelor Wirtschaftsinformatik
  • Master Informatik
  • Zwei-Fächer-Bachelor Informatik
  • Fach-Bachelor Informatik
  • Master Engineering of Socio-Technical Systems
  • Master Wirtschaftsinformatik
Zugeordnete Veranstaltungen
Ansprechpartner