Discrete-time switching linear system with constraints: Characterization and computation of invariant sets under dwell-time consideration

This paper introduces the concepts of Dwell-Time invariant/contractive (DT-invariant/contractive) set, Constraint Admissible DT-invariant/contractive (CADT-invariant/contractive) set for a discrete-time switching system under dwell-time switching. Main contributions of this paper include a characterization for a DT-contractive set, an algorithm for the computation of the maximal CADT-invariant set, a necessary and sufficient condition for asymptotic stability of the origin of switching systems under dwell-time switching and computation of the minimal dwell-time needed for asymptotic stability of the origin.