Benutzer: Gast  Login
Originaltitel:
Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems 
Übersetzter Titel:
Effiziente Implementierung von symbolischen Reglern für cyber-physikalische Systeme 
Jahr:
2021 
Dokumenttyp:
Dissertation 
Institution:
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 600 
Kurzfassung:
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. 
Übersetzte Kurzfassung:
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. 
Mündliche Prüfung:
21.09.2021 
Dateigröße:
5596340 bytes 
Seiten:
161 
Letzte Änderung:
16.12.2021