Event-triggered Formation Control of Multi-agent System under Switched Leaders and Communication Topologies | Synapse