Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems

Mahmoud, Mahmoud Khaled Mohamed

Elektrotechnik

Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt

Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link

Originaltitel:: Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems
Übersetzter Titel:: Effiziente Implementierung von symbolischen Reglern für cyber-physikalische Systeme
Autor:: Mahmoud, Mahmoud Khaled Mohamed
Jahr:: 2021
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 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.
WWW:: https://mediatum.ub.tum.de/?id=1608976
Eingereicht am:: 13.04.2021
Mündliche Prüfung:: 21.09.2021
Dateigröße:: 5596340 bytes
Seiten:: 161
Urn (Zitierfähige URL):: https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20210921-1608976-1-4
Letzte Änderung:: 16.12.2021
BibTeX