Finite-time stabilization of the NASA CEV reaction control system with actuator saturation and by position measurements | IEEE Conference Publication | IEEE Xplore