User: Guest  Login
Original title:
Formal Synthesis of Controllers for Complex Dynamical Systems: State-Space Discretization-free Approaches 
Translated title:
Formale Synthese von Controllern für komplexe dynamische Systeme: Zustandsmenge-Diskretisierungfreie-Methoden 
Year:
2020 
Document type:
Dissertation 
Institution:
Fakultät für Elektrotechnik und Informationstechnik 
Advisor:
Buss, Martin (Prof. Dr.) 
Referee:
Buss, Martin (Prof. Dr.); Zamani, Majid (Prof. Dr.) 
Language:
en 
Subject group:
ELT Elektrotechnik 
TUM classification:
MSR 600d 
Abstract:
This dissertation is motivated by the challenges arising in the synthesis of controllers for complex systems enforcing complex specifications (usually expressed as temporal logic formulae or (in)finite strings on automata). This thesis develops several controller synthesis approaches for various complex systems without discretizing state-sets that help us to alleviate the issue of the curse of dimensionality arises in conventional approaches based on discretizing state-sets. 
Translated abstract:
Diese Doktorarbeit ist durch Herausforderungen motiviert, die sich bei der Entwicklung der Controllern für komplexe Systeme ergeben, die komplexe Spezifikationen (z. B. zeitliche Logikformeln) durchsetzen. Die Arbeit stellt Methoden von Controller-Entwicklung für verschiedene komplexe Systeme ohne Diskretisierung der Menge der Zuständen vor, die dazu versuchen, das Problem des Fluches der Dimensionalität zu lindern, der bei verschiedene Zustandsmenge-Diskretisierung-Methoden auftritt. 
Oral examination:
08.12.2020 
File size:
5131022 bytes 
Pages:
152 
Last change:
02.02.2021