A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Compositional abstractions of interconnected discrete-time stochastic control systems
2017
2017 IEEE 56th Annual Conference on Decision and Control (CDC)
This paper is concerned with a compositional approach for constructing abstractions of interconnected discretetime stochastic control systems. The abstraction framework is based on new notions of so-called stochastic simulation functions, using which one can quantify the distance between original interconnected stochastic control systems and their abstractions in the probabilistic setting. Accordingly, one can leverage the proposed results to perform analysis and synthesis over abstract
doi:10.1109/cdc.2017.8264180
dblp:conf/cdc/LavaeiSMZ17
fatcat:3qsja5yz6vc7lges4oy346o54y