Event-triggering Control for Time-varying Formation Tracking of Multi-agent Systems Subjected to Input Saturation | IEEE Conference Publication | IEEE Xplore