Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach | IEEE Journals & Magazine | IEEE Xplore