Asymptotic Analysis and Identifiability Checks of PDE Models for Traffic Flow Optimization in Nigeria | Synapse