Thema: VeriComp: Eine Plattform für den Vergleich sowie den Test verifizierter Solver für dynamische Systemmodelle mit Unsicherheiten

Thema: VeriComp: Eine Plattform für den Vergleich sowie den Test verifizierter Solver für dynamische Systemmodelle mit Unsicherheiten

Grunddaten

Titel VeriComp: Eine Plattform für den Vergleich sowie den Test verifizierter Solver für dynamische Systemmodelle mit Unsicherheiten
Beschreibung

VeriComp stellt eine Plattform für den Vergleich sowie den Test unterschiedlicher verifizierter Lösungsalgorithmen im Rahmen der Simulation dynamischer Systemmodelle zur Verfügung. Methoden der Ergebnisverifikation, beispielsweise auf Grundlage der Intervallarithmetik, stellen dabei sicher, dass einerseits Einflüsse numerischer Rundungsfehler sowie methodisch bedingte zeitliche Diskretisierungsfehler in Form garantierter Schranken in den Berechnungsergebnissen abgebildet werden. Andererseits lassen sich mit diesen Methoden auch Anwendungen betrachten, bei denen für Anfangsbedingungen (wie z.B. für die Endeffektor-Lage eines Roboters) oder auch konstruktiv bedingte Parameter lediglich Toleranzbänder statt fester Werte bekannt sind. Bisher sind in VeriComp (https://vericomp.fiw.hs-wismar.de/) einige C/C++ basierte Löser integriert. Im Rahmen möglicher Bachelor- und Masterarbeiten sollen neuartige Lösungsmethoden weiterentwickelt und optimiert sowie in das bestehende Empfehlungssystem aufgenommen werden. Mögliche studentische Arbeiten sind auf die allgemeingültige Implementierung neu entwickelter Simulationsroutinen mittels Exponentialansätzen und komplexwertiger Intervallarithmetik (http://dx.doi.org/10.14232/actacyb.290904) sowie mittels ellipsoidaler Zustandseinschlüsse (http://dx.doi.org/10.1109/ICCAD52417.2021.9638755) fokussiert.

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 04.05.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