Model predictive control of autonomous mobility-on-demand systems | Synapse