Benutzer: Gast  Login
Originaltitel:
Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis
Übersetzter Titel:
Automatische Verifikation dynamischer Systeme mittels Vorwärts- und Rückwärtserreichbarkeitsanalyse
Autor:
Wetzlinger, Mark Peter Christoph
Jahr:
2024
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
Betreuer:
Althoff, Matthias (Prof. Dr.)
Gutachter:
Althoff, Matthias (Prof. Dr.); Frehse, Goran (Prof. Dr.); Putot, Sylvie (Prof. Dr.)
Sprache:
en
Fachgebiet:
TEC Technik, Ingenieurwissenschaften (allgemein)
TU-Systematik:
DAT 260; DAT 815
Kurzfassung:
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.
Übersetzte Kurzfassung:
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
Eingereicht am:
08.11.2023
Mündliche Prüfung:
21.05.2024
Dateigröße:
9103640 bytes
Seiten:
180
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240521-1725668-1-2
Letzte Änderung:
26.07.2024
 BibTeX