User: Guest  Login
If you experience problems opening the document, please try this link.
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
Author:
Jagtap, Pushpak
Year:
2020
Document type:
Dissertation
Faculty/School:
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.
WWW:
https://mediatum.ub.tum.de/?id=1543214
Date of submission:
28.05.2020
Oral examination:
08.12.2020
File size:
5131022 bytes
Pages:
152
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20201208-1543214-1-8
Last change:
02.02.2021
 BibTeX