Finite-time attitude synchronization for spacecraft formation flying via output feedback | IEEE Conference Publication | IEEE Xplore