Formation Control with Obstacle Avoidance for Multi-Agent Systems Using Barrier Functions | IEEE Conference Publication | IEEE Xplore