Finite-Time Terminal Sliding Mode-Based Formation Control Scheme for a Robotic Fish | IEEE Journals & Magazine | IEEE Xplore