Finite-Time Output Feedback Cooperative Formation Control for Marine Surface Vessels With Unknown Actuator Faults | IEEE Journals & Magazine | IEEE Xplore