Vertical-Plane Locomotion Control of a High-Speed Robotic Tuna via NMPC | IEEE Journals & Magazine | IEEE Xplore