Output feedback stabilization of flexible spacecraft | IEEE Conference Publication | IEEE Xplore