Sbas Dynamic Programming Definition