Methods for Modeling Urban Road Traffic Using Timed Automata
| Autor: | Adina Astilean, José Machado, Camelia Avram |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Flexibility (engineering)
050210 logistics & transportation Operations research Computer science Process (engineering) 05 social sciences computer.software_genre 01 natural sciences 010305 fluids & plasmas Automaton 0502 economics and business 0103 physical sciences 11. Sustainability Key (cryptography) Three-phase traffic theory Formal verification computer Street network Data integration |
| Zdroj: | Advances in Design, Simulation and Manufacturing III ISBN: 9783030507930 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|