For reliable traffic control at signalized crossings, this study examines the traffic signal optimization problem using formal methods. Our earlier research considered model predictive control (MPC) ...

Adaptive flow control using slope seeking Abstract: Besides controller synthesis based on a high dimensional discretization or low dimensional description of the Navier-Stokes equation or based on ...