A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems
[article]
2019
arXiv
pre-print
This paper is concerned with a compositional approach for constructing infinite abstractions of interconnected discrete-time stochastic control systems. The proposed approach uses the interconnection matrix and joint dissipativity-type properties of subsystems and their abstractions described by a new notion of so-called stochastic storage functions. The interconnected abstraction framework is based on new notions of so-called stochastic simulation functions, using which one can quantify the
arXiv:1801.10505v2
fatcat:o3pdlu4u2nbs5h3esfpgoyelb4