Compositional Construction of In nite Abstractions for Networks of Stochastic Control Systems Public Deposited
  • This paper is concerned with a compositional approach for constructing in nite 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 new notions of so-called stochastic storage functions. The interconnected abstraction framework is based on new notions of so-called stochastic simulation functions, constructed compositionally using stochastic storage functions of components. Using stochastic simulation functions, one can quantify the distance between original interconnected stochastic systems and interconnected abstractions in the probabilistic setting. Accordingly, one can leverage the proposed results to perform analysis and synthesis over abstract interconnected systems, and then carry the results back over concrete ones. In the rst part of the paper, we derive dissipativity-type compositional reasoning for the quanti cation of the distance in probability between the interconnection of stochastic control subsystems and that of their abstractions. Moreover, we focus on a class of discrete-time nonlinear stochastic control systems with independent noises in the abstract and concrete subsystems, and propose a computational scheme to construct abstractions together with their corresponding stochastic storage functions. In the second part of the paper, we consider speci cations expressed as syntactically co-safe linear temporal logic formulae and show how a synthesized policy for the abstract system can be re ned to a policy or the original system while providing a guarantee on the probability of satisfaction. We demonstrate the e ectiveness of the proposed results by constructing an abstraction (totally 3 dimensions) of the interconnection of three discrete-time nonlinear stochastic control subsystems (together 222 dimensions) in a compositional fashion such that the compositionality condition does not require any constraint on the number or gains of the subsystems. We also employ the constructed abstraction as a substitute to synthesize a controller enforcing a syntactically co-safe linear temporal logic speci cation.

Academic Affiliation
Last Modified
  • 2020-11-18
Resource Type
Rights Statement