Stability Guarantees for Translational Thrust-Propelled Vehicles Dynamics Through NMPC Designs | IEEE Journals & Magazine | IEEE Xplore