  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.
