Finite-time Stabilization of Discrete-time Switched System | IEEE Conference Publication | IEEE Xplore