Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Model Reduction for Controller Synthesis of Networks of Cyber Physical Systems
Übersetzter Titel:
Modellreduktion für die Synthese von Reglern für Netzwerke von Cyber Physical Systems
Autor:
Awan, Asad Ullah
Jahr:
2025
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Institution:
Steuerungs- und Regelungstechnik (Prof. Buss)
Betreuer:
Buss, Martin (Prof. Dr.)
Gutachter:
Buss, Martin (Prof. Dr.); Zamani, Majid (Prof. Dr.)
Sprache:
en
Fachgebiet:
ELT Elektrotechnik; MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation
TU-Systematik:
MSR 600
Kurzfassung:
Synthesis of controllers for large-scale networks of cyber physical systems enforcing complex specifications (e.g. ones expressed as temporal logic formulae) presents a formidable challenge due to the high dimensionality of such network systems. This dissertation aims to enable controller synthesis by developing compositional strategies of model reduction (also known as abstraction) for various classes of such networks.
Übersetzte Kurzfassung:
Die Synthese von Controllern für große Netzwerke von cyber-physikalischen Systemen, die komplexe Spezifikationen (z.B. in Form von zeitlogischen Formeln) erzwingen, stellt aufgrund der hohen Dimensionalität solcher Netzwerksysteme eine große Herausforderung dar. Diese Dissertation zielt darauf ab, die Synthese von Controllern zu ermöglichen, indem kompositorische Strategien der Modellreduktion (auch als Abstraktion bekannt) für verschiedene Klassen solcher Netzwerke entwickelt werden.
WWW:
https://mediatum.ub.tum.de/?id=1699549
Eingereicht am:
14.12.2023
Mündliche Prüfung:
27.01.2025
Dateigröße:
5005888 bytes
Seiten:
118
Urn (Zitierfähige URL):
https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20250127-1699549-0-4
Letzte Änderung:
26.02.2025
 BibTeX