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

2018 ◽  
Vol 2018 ◽  
pp. 1-15 ◽  
Author(s):  
Eduardo Valente ◽  
Camelia Avram ◽  
José Machado ◽  
Adina Astilean
Keyword(s):  
Cellular Automata ◽  
Traffic Control ◽  
Road Traffic ◽  
Timed Automata ◽  
Point Of View ◽  
Urban Road ◽  
Analysis Techniques ◽  
Huge Challenge ◽  
Over Time

Modelling and implementing adequate controllers for urban road traffic control constitute a huge challenge nowadays because of the complexity of systems, as well as possible scenarios and configurations, in each road in a city. A series of issues related to modelling these behaviours are common to arise when using formalisms, tools, and computation machines to perform complex calculations and limitations. This paper presents a formal, flexible, and adaptable approach, with no limitations, from the scientific point of view. For this purpose, modelling formalisms (cellular automata and timed automata) and analysis techniques (simulation and formal verification) are proposed to reach the main goals of modelling complex and adaptable behaviours in urban road traffic with multiple over time changeable configurations. A case study is presented, in order to illustrate the approach and demonstrate in detail the unlimited application of the presented approach.

scholarly journals Should We Expect a Disastrous Fire Accident in an Urban Road Tunnel? Literature Data Review and a Case Study for Selected Tunnels in Poland

2021 ◽  
Vol 13 (11) ◽  
pp. 6172
Author(s):  
Krystian Szewczyński ◽  
Aleksander Król ◽  
Małgorzata Król
Keyword(s):  
Time Horizon ◽  
Road Traffic ◽  
Traffic Intensity ◽  
Road Tunnel ◽  
Urban Road ◽  
Road Tunnels ◽  
High Uncertainty ◽  
Fire Outbreak ◽  
Fire Accident

Urban road tunnels are a reasonable remedy for inconvenience due to congested road traffic. However, they bring specific threats, especially those related to the possibility of fire outbreak. This work is a case study for selected urban road tunnels. Considering tunnel specificity, road traffic intensity, and structure and based on the literature data for vehicle fire probability, the chances of a fire accident were estimated for selected tunnels in Poland. It was shown that low power tunnel fires could be expected in the 10–20-year time horizon. Although such threats cannot be disregarded, tunnel systems are designed to cope with them. The chances of a disastrous fire accident were estimated as well. Such events can occur when an HGV with flammable goods or a tanker are involved. Such accidents are fortunately very rare, but, on the other hand, that is the reason why the available data are scanty and burdened with high uncertainty. Therefore, a discussion on the reliability of the obtained results is also provided.

Early Warning Mechanism for the Surge of Passengers in Metro Systems Based on Automated Fare Collection Data: Case Study of Guangzhou, China

2019 ◽  
Vol 2673 (4) ◽  
pp. 917-929 ◽  
Author(s):  
Ning Huan ◽  
Enjian Yao ◽  
Binbin Li
Keyword(s):  
Early Warning ◽  
Traffic Control ◽  
Safety Management ◽  
Early Stage ◽  
Point Of View ◽  
Control Measures ◽  
Passenger Flow ◽  
Early Warning Mechanism ◽  
Metro Systems

Recently, surges of passengers caused by large gatherings, temporary traffic control measures, or other abnormal events have frequently occurred in metro systems. From the standpoint of the operation managers, the available information about these outside events is incomplete or delayed. Unlike regular peaks of commuting, those unforeseen surges pose great challenges to emergency organization and safety management. This study aims to assist managers in monitoring passenger flow in an intelligent manner so as to react promptly. Compared with the high cost of deploying multisensors, the widely adopted automated fare collection (AFC) system provides an economical solution for inflow monitoring from the application point of view. In this paper, a comprehensive framework for the early warning mechanism is established, including four major phases: data acquisition, preprocessing, off-line modeling, and on-line detection. For each station, passengers’ tapping-on records are gathered in real time, to be further transformed into a dynamic time series of inflow volumes. Then, a sequence decomposition model is formulated to highlight the anomaly by removing its inherent disturbances. Furthermore, a novel hybrid anomaly detection method is developed to monitor the variation of passenger flow, in which the features of inflow patterns are fully considered. The proposed method is tested by a numerical experiment, along with a real-world case study of Guangzhou metro. The results show that, for most cases, the response time for detection is within 5 min, which makes the surge phenomenon observable at an early stage and reminds managers to make interventions appropriately.

Introducing Eco Friendly Urban Traffic Control Room

2017 ◽  
Vol 8 (2) ◽  
pp. 77-97
Author(s):  
Somasree Bhadra ◽  
Anirban Kundu ◽  
Sunirmal Khatua
Keyword(s):  
Traffic Control ◽  
Service Sector ◽  
Road Traffic ◽  
Urban Traffic ◽  
City Management ◽  
Control Room ◽  
Computing Environment ◽  
Efficient Manner ◽  
Urban Traffic Control

In this article, new services in Green Computing environment is introduced. Energy and power is saved in an efficient manner using proposed services. These services are still undefined to the researchers in most of the cases. A typical framework of hierarchical structure for typical software managed central urban traffic control room is considered as case study. Each type of services is shown with an example which is interrelated with central traffic control room scenario. The authors' aim is to produce an energy efficient and power savings method in computing environment. Urban Traffic Control Room is considered as a case study. This is because in today's world urban traffic management is one of the most burning issues of any smart city management. Use of complex yet efficient software in the urban traffic control room may aid in proper management of road traffic. Keeping in mind growing environmental concerns, efficient green system architecture needs to be in place to ensure high performance, reliability and security of such an important public service sector.

Introducing Eco Friendly Urban Traffic Control Room

2019 ◽  
pp. 707-729
Author(s):  
Somasree Bhadra ◽  
Anirban Kundu ◽  
Sunirmal Khatua
Keyword(s):  
Traffic Control ◽  
High Performance ◽  
Service Sector ◽  
Road Traffic ◽  
Urban Traffic ◽  
Control Room ◽  
Computing Environment ◽  
Efficient Manner ◽  
Urban Traffic Control

In this article, new services in Green Computing environment is introduced. Energy and power is saved in an efficient manner using proposed services. These services are still undefined to the researchers in most of the cases. A typical framework of hierarchical structure for typical software managed central urban traffic control room is considered as case study. Each type of services is shown with an example which is interrelated with central traffic control room scenario. The authors' aim is to produce an energy efficient and power savings method in computing environment. Urban Traffic Control Room is considered as a case study. This is because in today's world urban traffic management is one of the most burning issues of any smart city management. Use of complex yet efficient software in the urban traffic control room may aid in proper management of road traffic. Keeping in mind growing environmental concerns, efficient green system architecture needs to be in place to ensure high performance, reliability and security of such an important public service sector.

Sign in / Sign up

Export Citation Format

Share Document