A Hamilton-Jacobi-Bellman Methodology For The Stability Of Receding Horizon Control