From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems
Abolfazl Lavaei, Majid Zamani · IEEE Transactions on Automatic Control · 2022
This work is concerned with a compositional technique for the construction of finite abstractions (a.k.a.,finite Markov decision processes (MDPs)) for networks of discrete-time stochastic switched systems. We propose a framework based on a notion ofstochastic simulation functions, using which one can quantify the probabilistic distance between original interconnected stochastic switched systems and their finite MDPs by leveraging dissipativity-type compositional conditions. We show that the proposed compositionality conditions can enjoy the structure of the interconnection topology and be potentially fulfilledindependentlyof the number or gains of subsystems. We also propose an approach to construct finite MDPs together with their corresponding stochastic simulation functions for nonlinear stochastic switched systems satisfying someincremental passivityproperty. We show that for a particular class ofnonlinearstochastic switched systems whose nonlinearities satisfy an incremental quadratic inequality, the aforementioned property can be readily checked by some linear matrix inequalities. To demonstrate the effectiveness of the proposed results, we apply our approaches to the following two different case studies: a road traffic network, and a fully interconnected network of nonlinear switched systems accepting different dissipativity properties.