MAPLE: Macro–Micro Aligned Pigouvian Lane Control for Mixed-Autonomy Traffic Efficiency
A closed-loop framework that uses lane-level Pigouvian price signals to guide decentralized CAV lane-changing decisions at highway bottlenecks — without inter-vehicle communication. We prove the pricing mechanism induces an ε-approximate potential game, formally guaranteeing individual CAV decisions align with system-level congestion minimization by design. Simulation across six mixed-autonomy scenarios shows consistent improvements over state-of-the-art baselines.