User: Guest  Login
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 
Year:
2019 
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.); 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...    »
 
Oral examination:
16.12.2019 
File size:
6498456 bytes 
Pages:
268 
Last change:
24.02.2020