Finite-time leader-following consensus problem of multi-agent systems | IEEE Conference Publication | IEEE Xplore