User: Guest  Login
Original title:
Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems
Translated title:
Erweiterungen von Polynomiellen Zonotopen und deren Anwendung für die Verifikation von Cyber-Physischen Systemen
Author:
Kochdumper, Niklas
Year:
2022
Document type:
Dissertation
Faculty/School:
Fakultät für Informatik
Advisor:
Althoff, Matthias (Prof. Dr.)
Referee:
Althoff, Matthias (Prof. Dr.); Kretinsky, Jan (Prof. Dr.)
Language:
en
Subject group:
DAT Datenverarbeitung, Informatik
Keywords:
set-based computing, reachability analysis, cyber-physical systems
Translated keywords:
Mengendarstellungen, Erreichbarkeitsanalyse, Cyber-physische Systeme
TUM classification:
DAT 260; DAT 815
Abstract:
In this thesis, we present the three novel set representations sparse polynomial zonotopes, constrained polynomial zonotopes, and the Z-representation of polytopes. One major application for these novel set representations is the verification of cyber-physical systems using reachability analysis, for which we introduce various improvements as well as novel algorithms and approaches. Besides reachability analysis, there exist several other applications that use set-based computations and conseque...     »
Translated abstract:
In dieser Dissertation präsentieren wir die drei neuen Mengendarstellungen Sparse Polynomial Zonotopes, Constrained Polynomial Zonotopes, und die Z-Representation von Polytopen. Eine der Hauptanwendungen dieser neuen Mengendarstellungen ist die Verifikation von cyber-physischen Systemen mittels Erreichbarkeitsanalyse, wofür wir zahlreiche Verbesserungen sowie neue Algorithmen und Methoden einführen. Zusätzlich zu Erreichbarkeitsanalyse gibt es viele andere Anwendungen welche mengenbasierten Bere...     »
WWW:
https://mediatum.ub.tum.de/?id=1620128
Date of submission:
13.09.2021
Oral examination:
24.02.2022
File size:
5384163 bytes
Pages:
285
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20220224-1620128-1-3
Last change:
07.04.2022
 BibTeX