Optimization of shifting schedule for vehicle with automated mechanical transmission based on dynamic programming algorithm | IEEE Conference Publication | IEEE Xplore