This paper presents a solution based on dual quaternion algebra to the general problem of pose (i.e., position and orientation) consensus for systems composed of multiple rigid-bodies. The dual quaternion algebra is used to model the agents' poses and also in the distributed control laws, making the proposed technique easily applicable to time-varying formation control of general robotic systems. The proposed pose consensus protocol has guaranteed convergence when the interaction among the agents is represented by directed graphs with directed spanning trees, which is a more general result when compared to the literature on formation control. In order to illustrate the proposed pose consensus protocol and its extension to the problem of formation control, we present a numerical simulation with a large number of free-flying agents and also an application of cooperative manipulation by using real mobile manipulators.the multi-agent system asymptotically achieves formation if and only if the graph G describing the network topology has a directed spanning tree and vec 8 u x,i is in the range space of J w,i . 2Proof. First we prove that vec 8 u x,i is in the range space of J w,i if and only if vec 8 uConversely, if J w,i J † w,i vec 8 u x,i = vec 8 u x,i then ∃v J † w,i vec 8 u x,i such that J w,i v = vec 8 u x,i , which implies that vec 8 u x,i ∈ range J w,i . Hence,