Distributed Formation Control with Collision Avoidance and Mismatch Estimation: Algorithm and Experiments | IEEE Conference Publication | IEEE Xplore