A Nonlinear Discrete-time Model for Controlled Moment Gyroscope | IEEE Conference Publication | IEEE Xplore