User: Guest  Login
Less Searchfields
Simple search
Document type:
Bachelorarbeit
Author(s):
Vladimir Popa
Title:
Uniform Sampling Algorithms for Spectrahedra
Translated title:
Uniforme Sampling Algorithmen für Spektrahedren
Abstract:
Set-based reachability analysis is used extensively in fields such as robotics in the context of, e.g., motion planning and the formal verification of cyber-physical systems. In order to properly model such systems, various set representations have been used throughout the literature. For certain computational tasks, one needs to be able to sample random points within such set representations. This thesis will introduce two approaches, the Ball Walk Algorithm and the Billiard Walk Algorithm, whi...     »
Translated abstract:
Die mengenbasierte Erreichbarkeitsanalyse wird in Bereichen wie Robotik häufig im Zusammenhang mit z. B. Bewegungsplanung und der formalen Verifizierung cyber-physischer Systeme eingesetzt. Um solche Systeme richtig modellieren zu können, wurden in der Literatur verschiedene Mengendarstellungen eingeführt. Für bestimmte Rechenaufgaben muss man in der Lage sein, Punkte zufällig innerhalb solcher Mengendarstellungen wählen zu können. Diese Arbeit stellt zwei Algorithmen vor, den Ball Walk Algorith...     »
Subject:
DAT Datenverarbeitung, Informatik
DDC:
510 Mathematik
Advisor:
Kulmburg, Adrian
Referee:
Althoff, Matthias (Prof. Dr.)
Date of acceptation:
15.10.2023
Year:
2024
Pages:
42
Language:
en
Language from translation:
de
University:
Technische Universität München
Faculty:
TUM School of Computation, Information and Technology
Presentation date:
18.03.2024
 BibTeX