Formation Control of Multi-robot Motion Systems and State Estimation using Extended Kalman Filter | IEEE Conference Publication | IEEE Xplore