Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems | IEEE Conference Publication | IEEE Xplore