User: Guest  Login
Original title:
Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems 
Translated title:
Effiziente Implementierung von symbolischen Reglern für cyber-physikalische Systeme 
Year:
2021 
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 600 
Abstract:
In this PhD dissertation, we introduce enhancements for the approaches of symbolic control to make them applicable to real-world safety-critical cyber-physical systems by proposing data-parallel algorithms that reduce the computational complexity, extensions to support richer specifications, and formal representations of the designed controllers. The results together serve as a practical end-to-end framework for symbolic control. 
Translated abstract:
Wir stellen Verbesserungen für die Methoden der symbolischen Steuerung (SS) vor, um sie auf sicherheitskritische Systeme anwendbar zu machen, indem wir datenparallele Algorithmen vorschlagen, die den Rechenaufwand reduzieren, Erweiterungen zur Unterstützung umfangreicherer Spezifikationen und formale Darstellungen der entworfenen Steuerungen. Die Ergebnisse dienen als praktischer End-to-End-Rahmen für SS. 
Oral examination:
21.09.2021 
File size:
5596340 bytes 
Pages:
161 
Last change:
16.12.2021