User: Guest  Login
Less Searchfields
Simple search
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
Author:
Swikir, Abdalla
Year:
2020
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:
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...     »
WWW:
https://mediatum.ub.tum.de/?id=1548907
Date of submission:
17.06.2020
Oral examination:
01.12.2020
File size:
2568474 bytes
Pages:
114
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20201201-1548907-1-1
Last change:
21.01.2021
 BibTeX