Commuting with Autonomous Vehicles: A Branch and Cut Algorithm with Redundant Modeling
Mohd. Hafiz Hasan, Pascal Van Hentenryck

TL;DR
This paper presents a novel branch and cut algorithm with redundant modeling for the CTSPAV, demonstrating significant reductions in vehicle counts, miles, and congestion in a case study, while analyzing associated tradeoffs.
Contribution
It introduces a combined MIP and DARP formulation approach for the CTSPAV, improving solution quality and computational efficiency over traditional methods.
Findings
Reduces vehicle counts by 92% in case study
Decreases vehicle miles by 30%
Cuts congestion by 60% during peak times
Abstract
This paper studies the benefits of autonomous vehicles in ride-sharing platforms dedicated to serving commuting needs. It considers the Commute Trip Sharing Problem with Autonomous Vehicles (CTSPAV), the optimization problem faced by a reservation-based platform that receives daily commute-trip requests and serves them with a fleet of autonomous vehicles. The CTSPAV can be viewed as a special case of the Dial- A-Ride Problem (DARP). However, this paper recognizes that commuting trips exhibit special spatial and temporal properties that can be exploited in a branch and cut algorithm that leverages a redundant modeling approach. In particular, the branch and cut algorithm relies on a MIP formulation that schedules mini routes representing inbound or outbound trips. This formulation is effective in finding high-quality solutions quickly but its relaxation is relatively weak. To remedy this…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsTransportation and Mobility Innovations · Transportation Planning and Optimization · Smart Parking Systems Research
