A stabilizing NMPC design for thrust-propelled vehicles dynamics via feedback linearization | IEEE Conference Publication | IEEE Xplore