Formation Control of Multi-Agent Systems: A Graph Rigidity Approach (Wiley Series in Dynamics and Control of Electromechanical Systems) [Hardcover]