Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Efficient Control via Reachability Synthesis for Cyber-Physical Systems
Übersetzter Titel:
Effiziente Steuerung mittels Erreichbarkeitssynthese für Cyber-physikalische Systeme
Autor:
Grover, Kush
Jahr:
2024
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Betreuer:
Kretínský, Jan (Prof. Dr.)
Gutachter:
Kretínský, Jan (Prof. Dr.); Larsen, Kim Guldstrand (Prof. Dr.); Jansen, Nils, (Prof. Dr.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
TU-Systematik:
DAT 500
Kurzfassung:
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.
Übersetzte Kurzfassung:
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
Eingereicht am:
08.11.2023
Mündliche Prüfung:
26.03.2024
Dateigröße:
10115863 bytes
Seiten:
111
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240326-1723234-1-3
Letzte Änderung:
24.10.2024
 BibTeX