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 properties including safety, reachability, and reach-avoid specifications.     «

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...     »

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 automatische Synthetisierung von Reglern, die komplexe Logikeigenschaften erfüllen.     «

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...     »