Backstepping-Based Lyapunov Function Construction Using Approximate Dynamic Programming and Sum of Square Techniques | IEEE Journals & Magazine | IEEE Xplore