Methods for Modeling Urban Road Traffic Using Timed Automata

Among the whole range of resources for a good economic and social life of a country, the transport system performs a key role. The efficiency of the country’s street network will be central for further developments or will determine its stagnation. With the continuous increase in the number of vehicles and the effect of urbanization, traffic-roads are suffering different solicitations and utilizations for which they were not prepared, sized and projected. Due to the extreme importance of traffic-roads, research must be initialized to reduce the effects of traffic-jams in the streets, size the optimal number of traffic-lanes, and the information about the real-time traffic conditions needs to be implemented in Global Position Systems. The real-time data integration, flexibility, and the extensibility of the models and computational costs were other important aspects considered during the process of developing the models. The proposed TCA- Traffic Cellular Automata-model has appropriate results in the urban traffic theory. The results obtained in different scenarios were simulated and formally verified in the simulation/formal verification environment UPPAAL.