Invariant Sets Analysis for Constrained Switching Systems

We study discrete time linear constrained switching systems with additive disturbances, in the general setting where the switching acts on the system matrices, the disturbance sets, and the state constraint sets. Our primary goal is to extend the existing invariant set constructions when the switching signal is constrained by a given automation. We achieve it by working with a relaxation of invariance, namely the multi-set invariance. By exploiting recent results on computing the stability metrics for these systems, we establish explicit bounds on the number of iterations required for each construction. Last, as an application, we develop new maximal invariant set constructions for the case of linear systems in far fewer iterations compared to the state-of-the-art.