Model-based predictive traffic control for intelligent vehicles: Dynamic speed limits and dynamic lane allocation | IEEE Conference Publication | IEEE Xplore