Controller design for asymptotic stability of flexible spacecraft