From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems

• 成果类型: Article
• 署名作者: Lavaei, Abolfazl; Zamani, Majid
• 署名单位: Swiss Federal Institutes of Technology Domain; ETH Zurich; University of Colorado System; University of Colorado Boulder
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2022.3159190
• 发表日期: 2022
• 页码: 4422-4437
• 关键词: Switched systems; switches; control systems; Stochastic systems; mathematical models; Extraterrestrial measurements; Vehicle dynamics; Compositional synthesis; Dwell-time; finite Markov decision processes; large-scale stochastic switched systems; multiple storage functions; multiple supply rates

摘要

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 of stochastic 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 fulfilled independently of 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 some incremental passivity property. We show that for a particular class of nonlinear stochastic 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.