Approximation methods for optimal control synthesis