Computational analysis of freeway traffic control based on a linearized prediction model