scholarly journals Enhanced THOREAU traffic simulation for intelligent transportation systems (ITS)

1995 ◽  
Author(s):  
Paul T. R. Wang ◽  
Richard A. Glassco
Keyword(s):  
Intelligent Transportation Systems ◽  
Traffic Simulation ◽  
Intelligent Transportation ◽  
Transportation Systems

On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy

2012 ◽  
Vol 4 (4) ◽  
pp. 38-60 ◽  
Author(s):  
Junia Valente ◽  
Frederico Araujo ◽  
Rym Z. Wenkstern
Keyword(s):  
Intelligent Transportation Systems ◽  
Large Scale ◽  
Traffic Simulation ◽  
Simulation Models ◽  
Intelligent Transportation ◽  
Transportation Systems ◽  
Agent Based ◽  
Traffic Models ◽  
First Order ◽  
New Generation

The advances in Intelligent Transportation Systems (ITS) call for a new generation of traffic simulation models that support connectivity and collaboration among simulated vehicles and traffic infrastructure. In this paper we introduce MATISSE, a complex, large scale agent-based framework for the modeling and simulation of ITS and discuss how Alloy, a modeling language based on set theory and first order logic, was used to specify, verify, and analyze MATISSE’s traffic models.

Quality indicator of the smart city transportation and logistics system

2020 ◽  
Vol 19 (11) ◽  
pp. 2116-2135
Author(s):  
G.V. Savin
Keyword(s):  
Intelligent Transportation Systems ◽  
Smart City ◽  
Urban Areas ◽  
Human Life ◽  
Life Quality ◽  
Intelligent Transportation ◽  
Transportation Systems ◽  
Logistics System ◽  
Organization And Management

Subject. The article considers functioning and development of process flows of transportation and logistics system of a smart city. Objectives. The study identifies factors and dependencies of the quality of human life on the organization and management of stream processes. Methods. I perform a comparative analysis of previous studies, taking into account the uniquely designed results, and the econometric analysis. Results. The study builds multiple regression models that are associated with stream processes, highlights interdependent indicators of temporary traffic and pollution that affect the indicator of life quality. However, the identified congestion indicator enables to predict the time spent in traffic jams per year for all participants of stream processes. Conclusions. The introduction of modern intelligent transportation systems as a component of the transportation and logistics system of a smart city does not fully solve the problems of congestion in cities at the current rate of urbanization and motorization. A viable solution is to develop cooperative and autonomous intelligent transportation systems based on the logistics approach. This will ensure control over congestion, the reduction of which will contribute to improving the life quality of people in urban areas.

Sign in / Sign up

Export Citation Format

Share Document