User: Guest  Login
Original title:
A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations 
Translated title:
Eine neue, lernbasierte Perspektive auf Regler: Synthese durch partielle Erkundung und knappe Darstellungen 
Year:
2021 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Křetínský, Jan (Prof. Dr.) 
Referee:
Křetínský, Jan (Prof. Dr.); Guldstrand Larsen R, Kim (Prof.); Althoff, Matthias (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Quantitative Verification, Model Checking, Controller Synthesis, Markov Decision Process, Controller Representation, Decision Tree 
TUM classification:
DAT 500d 
Abstract:
Quantitative model checking and controller synthesis deal with the task of automatically synthesizing reliable controllers for safety-critical systems. We address the state-space explosion challenge and present two distinct algorithms based on partial exploration for discrete as well as continuous-time Markov decision processes. Further, we present the first results on representing controllers of probabilistic and hybrid systems concisely and explainably using decision trees. 
Translated abstract:
Quantitative Modellüberprüfung und Reglersynthese befassen sich mit der Aufgabe, zuverlässige Regler für sicherheitskritische Systeme automatisch zu synthetisieren. Wir befassen uns mit der Herausforderung der Zustandsraumexplosion und stellen zwei verschiedene Algorithmen vor, die auf der partiellen Erkundung von diskreten bzw. zeitkontinuierlichen Markov-Entscheidungsprozessen basieren. Darüber hinaus präsentieren wir die ersten Ergebnisse zur Darstellung von Reglern probabilistischer und hybr...    »
 
Oral examination:
17.03.2021 
File size:
6153954 bytes 
Pages:
155 
Last change:
07.06.2021