Lyapunov functions for a planar swarm model with application to nonholonomic planar vehicles | IEEE Conference Publication | IEEE Xplore