Time-Varying Formation Tracking Control for Multiple Euler–Lagrange Systems With an Uncertain Leader: Theory and Experiment | IEEE Journals & Magazine | IEEE Xplore