Graph control Lyapunov function for stabilization of discrete-time switched linear systems | IEEE Conference Publication | IEEE Xplore