Discrete-Time Switching Systems as Difference Inclusions: Deducing Converse Lyapunov Results for the Former From Those for the Latter

Nonlinear discrete-time switching systems under mode-dependent switching and dwell-time constraints are modeled by difference inclusions. Novel proofs of converse Lyapunov results are obtained for the switching systems as consequences of a converse Lyapunov result for a difference inclusion.