A scalable adaptive deep Koopman predictive controller for real-time optimization of mixed traffic flow