Event-Triggering Formation Tracking for Second-Order Multi-Agent Systems Subjected to Input Saturation | IEEE Journals & Magazine | IEEE Xplore