Design of finite-time stabilizing controllers for nonlinear dynamical systems | IEEE Conference Publication | IEEE Xplore