“…He showed that in the dynamical model of route choice, traffic flowflows converge to the set of Wardrop equilibria with time, and proved that the global stability of traffic assignment is stable if path costs are differentiable and monotone. Subsequently, Lee (1995), Ghali (1995), Meneguzzer (1996), He, Guo, and Liu (2010), Liu and Smith (2015), Smith (2015), Smith and Watling (2016), and other numerous researchers used, developed, and modified the Lyapunov theorem in the stability test of the dynamical model of route choice. Zhang, Ge, and Hang (2000), Boyer, Blandin, and Wynter (2015), and Jia and Ngoduy (2016) used the Lyapunov theorem to prove the stability of microscopic models (ACC, CACC, V2X), and routing strategies.…”