User: Guest  Login
Original title:
Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis
Translated title:
Automatische Verifikation dynamischer Systeme mittels Vorwärts- und Rückwärtserreichbarkeitsanalyse
Author:
Wetzlinger, Mark Peter Christoph
Year:
2024
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
Advisor:
Althoff, Matthias (Prof. Dr.)
Referee:
Althoff, Matthias (Prof. Dr.); Frehse, Goran (Prof. Dr.); Putot, Sylvie (Prof. Dr.)
Language:
en
Subject group:
TEC Technik, Ingenieurwissenschaften (allgemein)
TUM classification:
DAT 260; DAT 815
Abstract:
Reachability analysis is a formal method for verifying safety properties of dynamical systems in the presence of uncertainties. However, the accuracy of the computed reachable sets strongly depends on the parametrization of the reachability algorithm. This thesis proposes methods to adaptively tune the algorithm parameters for reachability analysis of linear and nonlinear ordinary differential equations to automatically obtain a conclusive result on the safety of the system.
Translated abstract:
Erreichbarkeitsanalyse ist eine formale Methode zur Verifikation von Sicherheitsspezifikationen für dynamische Systeme mit Unsicherheiten. Die Genauigkeit der berechneten erreichbaren Mengen hängt jedoch stark von der Parametrisierung des Erreichbarkeitsalgorithmus ab. Diese Dissertation präsentiert Methoden für die adaptive Einstellung algorithmischer Parameter für die Erreichbarkeitsanalyse linearer und nichtlinearer gewöhnlicher Differentialgleichungen, womit nun automatisch eine Aussage über...     »
WWW:
https://mediatum.ub.tum.de/?id=1725668
Date of submission:
08.11.2023
Oral examination:
21.05.2024
File size:
9103640 bytes
Pages:
180
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240521-1725668-1-2
Last change:
26.07.2024
 BibTeX