Lyapunov-based Backstepping Controller Design