Time-Varying Formation Control of Heterogeneous Multi-Agent Systems Under Markovian Switching Topology | IEEE Conference Publication | IEEE Xplore