Toggle Main Menu Toggle Search

Open Access padlockePrints

Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems

Lookup NU author(s): Dr Abolfazl Lavaei, Dr Sadegh SoudjaniORCiD



This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).


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 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 first part of the paper, we derive dissipativity-type compositional reasoning for the quantification 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 specifications expressed as syntactically co-safe linear temporal logic formulae and show how a synthesized policy for the abstract system can be refined to a policy for the original system while providing a guarantee on the probability of satisfaction. We demonstrate the effectiveness 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 specification.

Publication metadata

Author(s): Lavaei A, Soudjani S, Zamani M

Publication type: Article

Publication status: Published

Journal: Automatica

Year: 2019

Volume: 107

Pages: 125-137

Print publication date: 01/09/2019

Online publication date: 04/06/2019

Acceptance date: 19/05/2019

Date deposited: 31/10/2019

ISSN (print): 0005-1098

ISSN (electronic): 1873-2836

Publisher: Elsevier Ltd


DOI: 10.1016/j.automatica.2019.05.043


Altmetrics provided by Altmetric


Funder referenceFunder name
ZA 873/1-1