Output attitude control of flexible spacecraft from quaternion measures: a passivity approach | IEEE Conference Publication | IEEE Xplore