Stability analysis of discrete-time switched systems through lyapunov functions with nonminimal state