Time-Varying Formation Control for Heterogeneous Multi-Agent Systems with Actuator Faults | IEEE Conference Publication | IEEE Xplore