The mathematical solution of a cellular automaton model which simulates traffic flow with a slow-to-start effect

In this paper we investigate a cellular automaton model associated with traffic flow and of which the mathematical solution is unknown before. We classify all kinds of stationary states and show that every state finally evolves to a stationary state. The obtained flow-density relation shows multiple branches corresponding to the stationary states in congested phases, which are essentially due to the slow-to-start effect introduced into this model. The stability of these states is formulated by a series of lemmas, and an algorithm is given to calculate the stationary state that the current state finally evolves to. This algorithm has a computational requirement in proportion to the number of cars.