Flexible satellite attitude maneuver control using pulse-width pulse-frequency modulated input shaper | IEEE Conference Publication | IEEE Xplore