Stud.IP Uni Oldenburg
University of Oldenburg
29.11.2021 22:19:51
ThesisTopics

Personal details

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

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/) insbesondere C/C++ basierte Löser integriert. Im Rahmen möglicher Bachelor- und Masterarbeiten sollen weitere allgemeingültige Lösungsmethoden, die in der Matlab-Toolbox IntLab verfügbar sind, in das bestehende Empfehlungssystem aufgenommen werden. Mögliche Bachelorarbeiten in diesem Kontext fokussieren sich auf die Implementierung und systematisierte Simulation eines umfangreichen Testsets von Anfangswertproblemen, während im Rahmen von Masterarbeiten auch ein Vergleich zwischen methodisch unterschiedlichen Lösungsansätzen auf Basis des bestehenden Empfehlungssystems in den Mittelpunkt rücken wird.

Home institution Department of Computing Science
Type of work conceptual / theoretical
Type of thesis Bachelor's or Master's degree
Author Prof. Dr.-Ing. Andreas Rauh
Status available
Problem statement
Requirement
Created 16/10/21

Study data

Departments
  • Verteilte Regelung in vernetzten Systemen
Degree programmes
  • Bachelor's Programme Computing Science
  • Master's Programme Computing Science
Assigned courses No courses assigned
Contact person