Benutzer: Gast  Login
Mehr Felder
Einfache Suche
Originaltitel:
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
Übersetzter Titel:
Kompositionelle Synthese von symbolischen Modellen für (un)endliche Netzwerke von cyber-physischen Systemen
Autor:
Swikir, Abdalla
Jahr:
2020
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Elektrotechnik und Informationstechnik
Betreuer:
Buss, Martin (Prof. Dr.)
Gutachter:
Buss, Martin (Prof. Dr.); Zamani, Majid (Prof. Dr.)
Sprache:
en
Fachgebiet:
MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation
Stichworte:
Symbolic models, Compositional analysis, Formal methods
TU-Systematik:
MSR 600
Kurzfassung:
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...     »
Übersetzte Kurzfassung:
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
Eingereicht am:
17.06.2020
Mündliche Prüfung:
01.12.2020
Dateigröße:
2568474 bytes
Seiten:
114
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20201201-1548907-1-1
Letzte Änderung:
21.01.2021
 BibTeX