Injecting speculation on ideal trajectories into a trip-based integer programming model for elevator operations | IEEE Conference Publication | IEEE Xplore