User: Guest  Login
Original title:
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems 
Translated title:
Kompositionelle Synthese von symbolischen Modellen für (un)endliche Netzwerke von cyber-physischen Systemen 
Year:
2020 
Document type:
Dissertation 
Institution:
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:
MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation 
Keywords:
Symbolic models, Compositional analysis, Formal methods 
TUM classification:
MSR 600 
Abstract:
Providing correct-by-design controllers for CPSs is definitely crucial in many applications. Symbolic models have been introduced as an automated and provably correct framework for the synthesis of CPSs. However, the construction of symbolic models for large-scale CPSs monolithically suffers from the curse of dimensionality. In this dissertation, we propose compositional techniques based on dissipativity and small-gain type conditions. Based on those conditions, we construct symbolic models of n...    »
 
Translated abstract:
Bereitstellung eine priori korrekten Reglern für CPS in Anwendungen entscheidend ist. Symbolische Modelle wurden als automatisches und nachweisbar korrektes Framework zur Synthese von CPS eingeführt. Jedoch leidet die Konstruktion von symbolischen Modellen für hochdimensionale CPS auf monolithische Art unter dem Fluch der Dimensionalität. In dieser Dissertation stellen wir kompositionelle Methoden vor, die auf Dissipativität und Small-Gain-artigen Bedingungen beruhen. Indem man diese Bedingunge...    »
 
Oral examination:
01.12.2020 
File size:
2568474 bytes 
Pages:
114 
Last change:
21.01.2021