Finite-time leader-following consensus for multiple non-holonomic agents | IEEE Conference Publication | IEEE Xplore