Control Input Saturation Sliding-Mode Control System Design for Spacecraft Based on Neural Network | IEEE Conference Publication | IEEE Xplore