Distributed Resilient Formation Control of Multiple Nonholonomic Mobile Robots with Finite-Time Convergence | IEEE Conference Publication | IEEE Xplore