Converse Lyapunov Theorems for Discrete-Time Switching Systems With Given Switches Digraphs.

It is proved in this paper that the existence of suitable multiple Lyapunov functions is a necessary and sufficient condition for a discrete-time nonlinear switching system, with given switches digraph, to be globally asymptotically stable. The same result is provided for the input-to-state stability. The less is the number of edges in the switches digraph, the less is the number of inequalities that are involved in the provided necessary and sufficient Lyapunov conditions. [ABSTRACT FROM AUTHOR]