Modeling, Estimation, and Control in Highway Traffic Based on Discrete Event Dynamic Systems