An adaptive freeway traffic state estimator and its real-data testing part 1: basic properties | IEEE Conference Publication | IEEE Xplore