Finite-Time Stabilization Procedures for Discrete-Time Nonlinear Systems in Feedback Form | IEEE Journals & Magazine | IEEE Xplore