Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Formal Synthesis of Controllers for Complex Dynamical Systems: State-Space Discretization-free Approaches
Übersetzter Titel:
Formale Synthese von Controllern für komplexe dynamische Systeme: Zustandsmenge-Diskretisierungfreie-Methoden
Autor:
Jagtap, Pushpak
Jahr:
2020
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Elektrotechnik und Informationstechnik
Betreuer:
Buss, Martin (Prof. Dr.)
Gutachter:
Buss, Martin (Prof. Dr.); Zamani, Majid (Prof. Dr.)
Sprache:
en
Fachgebiet:
ELT Elektrotechnik
TU-Systematik:
MSR 600d
Kurzfassung:
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.
Übersetzte Kurzfassung:
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
Eingereicht am:
28.05.2020
Mündliche Prüfung:
08.12.2020
Dateigröße:
5131022 bytes
Seiten:
152
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20201208-1543214-1-8
Letzte Änderung:
02.02.2021
 BibTeX