Finite-time stability of discrete-time nonlinear systems: analysis and design | IEEE Conference Publication | IEEE Xplore