Trajectory Control of Mars Probe Based on Fuzzy Lyapunov Function | IEEE Conference Publication | IEEE Xplore