LAUSR

Abstract In this work, we derive conditions under which compositional abstractions of networks of stochastic hybrid systems can be constructed using the interconnection topology and joint dissipativity-type properties of subsystems and their abstractions. In the proposed framework, the abstraction, itself a stochastic hybrid system (possibly with a lower dimension), can be used as a substitute of the original system in the controller design process. Moreover, we derive conditions for the construction of abstractions for a specific class of stochastic hybrid systems by using the sector property of the system nonlinearity. We provide an example with numerical simulations to illustrate the effectiveness of the proposed dissipativity-type compositional reasoning for interconnected stochastic hybrid systems.