Alternative stability conditions for switched discrete time linear systems

Alternative necessary and sufficient conditions for absolute exponential stability are presented, for switched discrete–time linear systems. To reach these results, we exploit concepts from set theory and in specific the forward reachability set mappings. The developed theorem can be utilized to construct iterative numerical procedures for verifying stability. Two examples illustrate the effectiveness of the proposed methodology