Mixture Kalman filter based highway congestion mode and vehicle density estimator and its application | IEEE Conference Publication | IEEE Xplore