The discussion of the application of passivity to multi-agent formation control follows M. Arcak, “Passivity as a Design Tool for Group Coordination,” IEEE Transactions on Automatic Control, vol. 52, no. 8, Aug. 2007. A free version of the paper may be downloaded here.