Finite-time stabilization of an overhead crane with a flexible cable