“…Symbolic models are established for incrementally stable switched systems, a class of hybrid systems [Lib03], by providing approximate bisimulation relations between them [GPT10, GGM16,SG17,CGG13]. However, as the complexity of constructing symbolic models grows exponentially in the number of state variables in the concrete system, the approaches proposed in [GPT10, GGM16,SG17] limit the application of symbolic models to only low-dimensional switched systems. Although the result in [CGG13] provides a state-space discretization-free approach for computing symbolic models of incrementally stable switched systems, this approach is still monolithic and reduces the computational complexity only for switched systems with few modes, see [CGG13, Section IV(D)].…”