An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

Valente, Eduardo; Avram, Camelia; Machado, José; Aştilean, Adina

doi:10.1155/2018/6269526

Cited by 7 publications

(3 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A cellular automaton is a dynamic system that evolves in the discrete-time dimension in the cellular space composed of discrete and finite-state cells according to certain local rules ( Chai et al, 2015 ). Cellular automata are mainly composed of cellular, cellular space, neighbor, and cellular state evolution rules, which can simulate many complex giant systems in real life according to simple evolution rules ( Valente et al, 2018 ). Cellular can also be called cell, unit, which is the most basic component of cellular automata.…”

Section: Theoretical Basismentioning

confidence: 99%

Traffic flow simulation of modified cellular automata model based on producer-consumer algorithm

Deng

Shao

Song

et al. 2022

PeerJ Computer Science

View full text Add to dashboard Cite

With the rise of new technologies such as the Internet of Vehicles and the Internet of Things, research on the intelligent connected vehicle has become a hot topic in contemporary times. The modeling and simulation of traffic flow are mainly used to analyze the characteristics of traffic flow and study the formation and dissipation mechanism of traffic congestion to better guide the real traffic. Cellular automata are suitable for the simulation of complex giant systems. Because of the randomness and discreteness of vehicle driving, cellular automata are often used to model and analyze traffic flow. This article mainly studies the traffic flow formed by intelligent connected vehicles. Based on the traditional NaSch model, the producer-consumer algorithm is introduced to form a multi-buffer vehicle information access mode, and an improved cellular automata model with random updates is constructed. The simulation results show that the improved cellular automata model improves the traffic congestion significantly compared with the original NaSch model in the intelligent network environment, which is consistent with the actual traffic situation. Therefore, the algorithm proposed in this article can effectively simulate the traffic flow characteristics of intelligent connected vehicles, and provide a theoretical basis for solving traffic problems.

show abstract

Section: Theoretical Basismentioning

confidence: 99%

Traffic flow simulation of modified cellular automata model based on producer-consumer algorithm

Deng

Shao

Song

et al. 2022

PeerJ Computer Science

View full text Add to dashboard Cite

show abstract

“…In recent years, various solutions for so-called Intelligent Transportation Systems have also been successfully promoted (Rida et al, 2020;Valente et al, 2018).…”

Section: State-of-the-artmentioning

confidence: 99%

Simulations of road traffic at light-controlled intersections

Kavička

2021

Proceedings of the 33rd European Modeling &Amp; Simulation Symposium

View full text Add to dashboard Cite

Light-controlled intersections represent important traffic points within urban road networks. The application of specific traffic control plans within this type of intersections affects not only the traffic capacity of these parts of the network, but also traffic on roads in their immediate or more distant surroundings. For control plans, it is appropriate to assess their various variants in order to subsequently determine the most suitable solution for deployment in real operation. For the needs of examining different traffic control strategies, it is possible to take advantage of road traffic simulations. Detailed simulation-based assessment of specific variants of traffic control (within limited segments of road networks) represents a suitable support for the implementation of efficient and smooth traffic inside of a given part of the real network (or inside of a designed network, the construction of which is planned in the future). The case study presents the examination of road traffic in a smaller city using the simulation tool Aimsun. The investigated system includes one central light-controlled intersection, two smaller intersections and also parts of adjacent roads. The aim of the research is to assess traffic variants that use different traffic control signal plans, especially within the central intersection. Variants are evaluated and appropriate recommendations are formulated.

show abstract

“…Some authors prefer more formal approaches, e.g. [13] present cellular and timed automata to simulate and formally verify urban road traffic. With the recent evolutions in Cloud Computing and Software-as-a-Service (SaaS), there is a new paradigm where simulation software is used in the form of services [14].…”

Section: Introductionmentioning

confidence: 99%

Road traffic modelling based on the hybrid modelling tool AnyLogic

Benčat

Janota

2020

tren

View full text Add to dashboard Cite

The increasing complexity of modelled systems opens up questions of combining several modelling approaches in order to achieve higher efficiency and the required clarity of the simulations performed. For this reason, in addition to standard application-oriented modelling tools, we can see the growing popularity of the so-called hybrid or multimethod modelling approaches. A typical representative of such a modelling environment is the AnyLogic general-purpose modelling tool. This article describes the authors' experience with this tool in solving a selected problem in the field of modelling transport processes in urban areas. Using the example of the uncontrolled selected intersection, the procedure of creating a model with a more detailed analysis of its selected parts is discussed. The model based on real conditions is elaborated and compared with the model containing the fictitious traffic light control. Comparison is based on measuring the time that vehicles moving in the critical direction spend in the model. Both discussed models are stored in the cloud and may be run and study free.

show abstract

An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

Cited by 7 publications

References 32 publications

Traffic flow simulation of modified cellular automata model based on producer-consumer algorithm

Traffic flow simulation of modified cellular automata model based on producer-consumer algorithm

Simulations of road traffic at light-controlled intersections

Road traffic modelling based on the hybrid modelling tool AnyLogic

Contact Info

Product

Resources

About