Distributed Cooperative Formation and Obstacle Avoidance for Multiple UAVs by Consensus and Control Barrier Functions | IEEE Conference Publication | IEEE Xplore