Globally exponential estimation of satellite attitude using a single vector measurement and gyro | IEEE Conference Publication | IEEE Xplore