User: Guest  Login
Less Searchfields
Simple search
Original title:
Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques
Translated title:
Automatische Verifikation und Steuerung von hochdimensionalen stochastischen cyber-physikalischen Systemen: kompositionelle Methoden
Author:
Lavaei, Abolfazl
Year:
2019
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.); Soudjani, Sadegh (Prof., Ph.D.)
Language:
en
Subject group:
ELT Elektrotechnik
TUM classification:
MSR 600d
Abstract:
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...     »
Translated abstract:
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
Date of submission:
02.10.2019
Oral examination:
16.12.2019
File size:
6498456 bytes
Pages:
268
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20191216-1521465-1-6
Last change:
24.02.2020
 BibTeX