Dynamic Event-triggered Time-varying Formation Control for Discrete-time Multi-agent Systems | IEEE Conference Publication | IEEE Xplore