User: Guest  Login
If you experience problems opening the document, please try this link.
Original title:
Efficient Control via Reachability Synthesis for Cyber-Physical Systems
Translated title:
Effiziente Steuerung mittels Erreichbarkeitssynthese für Cyber-physikalische Systeme
Author:
Grover, Kush
Year:
2024
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Advisor:
Kretínský, Jan (Prof. Dr.)
Referee:
Kretínský, Jan (Prof. Dr.); Larsen, Kim Guldstrand (Prof. Dr.); Jansen, Nils, (Prof. Dr.)
Language:
en
Subject group:
DAT Datenverarbeitung, Informatik
TUM classification:
DAT 500
Abstract:
Cyber-physical systems are often safety-critical and require verification to be able to trust them. We used Markov Decision Processes (MDP) to model and synthesize efficient controllers in the domain of robotics and aerospace. We also devised algorithms to solve the reachability problem for uncountable MDPs. Furthermore, we synthesize plans for an autonomous agent in a deterministic but unknown environment.
Translated abstract:
Cyber-physische Systeme sind oft sicherheitskritisch und müssen verifiziert werden, damit man ihnen vertrauen kann. Wir haben Markov-Entscheidungsprozesse (MDP) zur Modellierung und Synthese effizienter Steuerungen im Bereich der Robotik und der Luft- und Raumfahrt verwendet. Wir haben auch Algorithmen zur Lösung des Erreichbarkeitsproblems für nicht abzählbare MDPs entwickelt. Außerdem synthetisieren wir Pläne für einen autonomen Agenten in einer deterministischen, aber unbekannten Umgebung.
WWW:
https://mediatum.ub.tum.de/?id=1723234
Date of submission:
08.11.2023
Oral examination:
26.03.2024
File size:
10115863 bytes
Pages:
111
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240326-1723234-1-3
Last change:
24.10.2024
 BibTeX