Inverse optimal design of the distributed consensus protocol for formation control of multiple mobile robots.