User: Guest  Login
If you experience problems opening the document, please try this link.
Original title:
Model Reduction for Controller Synthesis of Networks of Cyber Physical Systems
Translated title:
Modellreduktion für die Synthese von Reglern für Netzwerke von Cyber Physical Systems
Author:
Awan, Asad Ullah
Year:
2025
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Institution:
Steuerungs- und Regelungstechnik (Prof. Buss)
Advisor:
Buss, Martin (Prof. Dr.)
Referee:
Buss, Martin (Prof. Dr.); Zamani, Majid (Prof. Dr.)
Language:
en
Subject group:
ELT Elektrotechnik; MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation
TUM classification:
MSR 600
Abstract:
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.
Translated abstract:
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
Date of submission:
14.12.2023
Oral examination:
27.01.2025
File size:
5005888 bytes
Pages:
118
Urn (citeable URL):
https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20250127-1699549-0-4
Last change:
26.02.2025
 BibTeX