Two distinct ways of using kalman filters to predict urban arterial travel time | Synapse