Analysis of decentralized potential field based multi-agent navigation via primal-dual Lyapunov theory | IEEE Conference Publication | IEEE Xplore