Benutzer: Gast  Login
Mehr Felder
Einfache Suche
Originaltitel:
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Übersetzter Titel:
Automatische Verifikation und Steuerung von hochdimensionalen stochastischen cyber-physikalischen Systemen: kompositionelle Methoden
Autor:
Lavaei, Abolfazl
Jahr:
2019
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.); Soudjani, Sadegh (Prof., Ph.D.)
Sprache:
en
Fachgebiet:
ELT Elektrotechnik
TU-Systematik:
MSR 600d
Kurzfassung:
This dissertation provides novel compositional techniques to analyze and control large-scale stochastic CPSs in an automated as well as formal fashion with three different compositional techniques including classic small-gain, max small-gain and dissipativity approaches. We also develop a software tool, called AMYTISS, in C++/OpenCL that provides scalable parallel algorithms for (i) constructing finite abstractions and (ii) synthesizing controllers automatically that satisfy complex logic proper...     »
Übersetzte Kurzfassung:
Diese Dissertation liefert neue kompositionelle Methoden zur Analyse und Steuerung hochdimensionaler stochastischer CPS auf eine sowohl automatisierte als auch formale Art mit Hilfe dreier verschiedener kompositioneller Methoden untersucht, darunter klassisches Small-Gain, max-Small-Gain und Dissipativitätsansätze. Wir auch entwickeln ein Software-Tool, genannt AMYTISS, in C++/OpenCL, das skalierbare parallele Algorithmen liefert für (i) die Konstruktion endlicher Abstraktionen und (ii) die auto...     »
WWW:
https://mediatum.ub.tum.de/?id=1521465
Eingereicht am:
02.10.2019
Mündliche Prüfung:
16.12.2019
Dateigröße:
6498456 bytes
Seiten:
268
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20191216-1521465-1-6
Letzte Änderung:
24.02.2020
 BibTeX