1: \begin{abstract}

2: Comparing with traditional fixed formation for a group of dynamical systems,

3: time-varying formation can produce the following benefits:

4: i) covering the greater part of complex environments; ii) collision avoidance.

5: This paper studies the time-varying formation tracking for multiple manipulator systems

6: (MMSs) under fixed and switching directed graphs with a dynamic leader, whose acceleration cannot change too fast.

7: An explicit mathematical formulation of time-varying formation is developed

8: based on the related practical applications.

9: A class of extended inverse dynamics control algorithms combining with distributed sliding-mode estimators are developed to

10: address the aforementioned problem.

11: By invoking finite-time stability arguments, several novel criteria (including sufficient criteria, necessary and sufficient criteria)

12: for global finite-time stability of MMSs are established.

13: Finally, numerical experiments are presented to verify the effectiveness of the theoretical results. \vspace{1em}

14: 

15: \noindent \textbf{Keywords}\quad time-varying formation tracking, dynamic leader, multiple manipulator systems (MMSs), finite-time stability.

16:  \vspace{1em}

17: \end{abstract}