Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems

Mahmoud, Mahmoud Khaled Mohamed

Mahmoud Khaled Mohamed Mahmoud

If you experience problems opening the document, please try this link.

Original title:: Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems
Translated title:: Effiziente Implementierung von symbolischen Reglern für cyber-physikalische Systeme
Author:: Mahmoud, Mahmoud Khaled Mohamed
Year:: 2021
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 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.
WWW:: https://mediatum.ub.tum.de/?id=1608976
Date of submission:: 13.04.2021
Oral examination:: 21.09.2021
File size:: 5596340 bytes
Pages:: 161
Urn (citeable URL):: https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20210921-1608976-1-4
Last change:: 16.12.2021
BibTeX