Lyapunov-Based Avoidance Controllers With Stabilizing Feedback | IEEE Journals & Magazine | IEEE Xplore