Time-Varying Formation Tracking for Heterogeneous Swarm Systems Under Switching Directed Topologies with a Leader of Input