Dynamics and controller design of contactless electromagnetic de-tumbling for disabled satellite | IEEE Conference Publication | IEEE Xplore