Collision-Free Formation Control for Heterogeneous Multiagent Systems Under DoS Attacks | Synapse