Evolutionary Computation Applied to Urban Traffic Optimization

At the present time, many sings seem to indicate that we live a global energy and environmental crisis. The scientific community argues that the global warming process is, at least in some degree, a consequence of modern societies unsustainable development. A key area in that situation is the citizens mobility. World economies seem to require fast and efficient transportation infrastructures for a significant fraction of the population. The non-stopping overload process that traffic networks are suffering calls for new solutions. In the vast majority of cases it is not viable to extend that infrastructures due to costs, lack of available space, and environmental impacts. Thus, traffic departments all around the world are very interested in optimizing the existing infrastructures to obtain the very best service they can provide. In the last decade many initiatives have been developed to give the traffic network new management facilities for its better exploitation. They are grouped in the so called Intelligent Transportation Systems. Examples of these approaches are the Advanced Traveler Information Systems (ATIS) and Advanced Traffic Management Systems (ATMS). Most of them provide drivers or traffic engineers the current traffic real/simulated situation or traffic forecasts. They may even suggest actions to improve the traffic flow. To do so, researchers have done a lot of work improving traffic simulations, specially through the development of accurate microscopic simulators. In the last decades the application of that family of simulators was restricted to small test cases due to its high computing requirements. Currently, the availability of cheap faster computers has changed this situation. Some famous microsimulators are MITSIM(Yang, Q., 1997), INTEGRATION (Rakha, H., et al., 1998), AIMSUN2 (Barcelo, J., et al., 1996), TRANSIMS (Nagel, K. & Barrett, C., 1997), etc. They will be briefly explained in the following section. Although traffic research is mainly targeted at obtaining accurate simulations there are few groups focused at the optimization or improvement of traffic in an automatic manner â not dependent on traffic engineers experience and âartâ. O pe n A cc es s D at ab as e w w w .ite ch on lin e. co

Optimisation of Rail-road Level Crossing Closing Time in a Heterogenous Railway Traffic: Towards Safety Improvement - South African Case Study

The gravitation towards mobility-as-a service in railway transportation system can be achieved at low cost and effort using shared railway network. However, the problem with shared networks is the presence of the level crossings where railway and road traffic intersects. Thus, long waiting time is expected at the level crossings due to the increase in traffic volume and heterogeneity. Furthermore, safety and capacity can be severely compromised by long level crossing closing time. The emphasis of this study is to optimise the rail-road level crossing closing time in order to achieve improved safety and capacity in a heterogeneous railway network. It is imperative to note that rail-road level crossing system assumes the socio-technical and safety critical duality which often impedes improvement efforts. Therefore, thorough understanding of the factors with highest influence on the level crossing closing time is required. Henceforth, data analysis has been conducted on eight active rail-road level crossings found on the southern corridor of the Western Cape metro rail. The spatial, temporal and behavioural analysis was conducted to extract features with influence on the level crossing closing time. Convex optimisation with the objective to minimise the level crossing closing time is formulated taking into account identified features. Moreover, the objective function is constrained by the train's traction characteristics along the constituent segments of the rail-road level crossing, speed restriction and headway time. The results show that developed solution guarantees at most 53.2% and 62.46% reduction in the level crossing closing time for the zero and nonzero dwell time, respectively. Moreover, the correctness of the presented solution has been validated based on the time lost at the level crossing and railway traffic capacity consumption. Thus, presented solution has been proven to achieve at most 50% recovery of the time lost per train trip and at least 15% improvement in capacity under normal conditions. Additionally, 27% capacity improvement is achievable at peak times and can increase depending on the severity of the headway constraints. However, convex optimisation of the level crossing closing time still fall short in level crossing with nonzero dwell time due to the approximation of dwell time based on the anticipated rather than actual value

Safety‐oriented discrete event model for airport A‐SMGCS reliability assessment

A detailed analysis of State of the Art Technologies and Procedures into Airport Advanced-Surface Movement Guidance and Control Systems has been provided in this thesis, together with the review ofStatistical Monte Carlo Analysis, Reliability Assessment and Petri Nets theories. This practical and theoretical background has lead the author to the conclusion that there is a lack of linkage in between these fields. At the same of time the rapid increasing of Air Traffic all over the world, has brought in evidence the urgent need of practical instruments able to identify and quantify the risks connected with Aircraft operations on the ground, since the Airport has shown to be the actual ‘bottle neck’ of the entire Air Transport System. Therefore, the only winning approach to such a critical matter has to be multi-disciplinary, sewing together apparently different subjects, coming from the most disparate areas of interest and trying to fulfil the gap. The result of this thesis work has come to a start towards the end, when a Timed Coloured Petri Net (TCPN) model of a ‘sample’ Airport A-SMGCS has been developed, that is capable of taking into account different orders of questions arisen during these recent years and tries to give them some good answers. The A-SMGCS Airport model is, in the end, a parametric tool relying on Discrete Event System theory, able to perform a Reliability Analysis of the system itself, that: • uses a Monte Carlo Analysis applied to a Timed Coloured Petri Net, whose purpose is to evaluate the Safety Level of Surface Movements along an Airport • lets the user to analyse the impact of Procedures and Reliability Indexes of Systems such as Surface Movement Radars, Automatic Dependent Surveillance-Broadcast, Airport Lighting Systems, Microwave Sensors, and so on… onto the Safety Level of Airport Aircraft Transport System • not only is a valid instrument in the Design Phase, but it is useful also into the Certifying Activities an in monitoring the Safety Level of the above mentioned System with respect to changes to Technologies and different Procedures.This TCPN model has been verified against qualitative engineering expectations by using simulation experiments and occupancy time schedules generated a priori. Simulation times are good, and since the model has been written into Simulink/Stateflow programming language, it can be compiled to run real-time in C language (Real-time workshop and Stateflow Coder), thus relying on portable code, able to run virtually on any platform, giving even better performances in terms of execution time. One of the most interesting applications of this work is the estimate, for an Airport, of the kind of A-SMGCS level of implementation needed (Technical/Economical convenience evaluation). As a matter of fact, starting from the Traffic Volume and choosing the kind of Ground Equipment to be installed, one can make predictions about the Safety Level of the System: if the value is compliant with the TLS required by ICAO, the A-SMGCS level of Implementation is sufficiently adequate. Nevertheless, even if the Level of Safety has been satisfied, some delays due to reduced or simplified performances (even if Safety is compliant) of some of the equipment (e.g. with reference to False Alarm Rates) can lead to previously unexpected economical consequences, thus requiring more accurate systems to be installed, in order to meet also Airport economical constraints. Work in progress includes the analysis of the effect of weather conditions and re-sequencing of a given schedule. The effect of re-sequencing a given schedule is not yet enough realistic since the model does not apply inter arrival and departure separations. However, the model might show some effect on different sequences based on runway occupancy times. A further developed model containing wake turbulence separation conditions would be more sensitive for this case. Hence, further work will be directed towards: • The development of On-Line Re-Scheduling based on the available actual runway/taxiway configuration and weather conditions. • The Engineering Safety Assessment of some small Italian Airport A-SMGCSs (Model validation with real data). • The application of Stochastic Differential Equations systems in order to evaluate the collision risk on the ground inside the Place alone on the Petri Net, in the event of a Short Term Conflict Alert (STCA), by adopting Reich Collision Risk Model. • Optimal Air Traffic Control Algorithms Synthesis (Adaptive look-ahead Optimization), by Dynamically Timed Coloured Petri Nets, together with the implementation of Error-Recovery Strategies and Diagnosis Functions

Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications

A smart city is an urban centre that integrates a variety of solutions to improve infrastructure performance and achieve sustainable urban development. Urban roads are a crucial infrastructure highly demanded by citizens and organisations interested in their deployment, performance, and safety. Urban traffic signal control is an important and challenging real-world problem that aims to monitor and improve traffic congestion. The deployment of traffic signals for vehicles or pedestrians at an intersection is a complex activity that changes constantly, so it is necessary to establish rules to control the flow of vehicles and pedestrians. Thus, this article describes the joint use of the SmartCitySysML, a profile proposed by the authors, with TCPN (Timed Coloured Petri Nets) to refine and formally model SysML diagrams specifying the internal behaviour, and then verify the developed model to prove behavioural properties of an urban traffic signal control system

Modeling, Analysis, and Simulation of Two Connected Intersections Using Discrete and Hybrid Petri Nets

Indiana University-Purdue University Indianapolis (IUPUI)In recent decades, Petri nets (PNs) have been used to model traffic networks for different purposes, such as signal phase control, routing, and traffic flow estimation, etc. Because of the complex nature of traffic networks where both discrete and continuous dynamics come into play, the Hybrid Petri net (HPN) model becomes an important tool for the modeling and analysis of traffic networks. In Chapter 1 a brief historical summery about traffic systems control and then related work is mentioned followed by the major contributions in this research. Chapter 2 provides a theoretical background on Petri nets. In Chapter 3, we develop a HPN model for a single signalized intersection first, then we extend this model to study a simple traffic network that consists of two successive intersections. Time delays between different points of network are also considered in order to make the model suitable for analysis and simulation. In addition to HPN models, we also consider discrete Petri nets where their modeling simplicity enables the characterization of the occurrences of all events in the system. This discrete PN is particularly useful to give a higher-level representation of the traffic network and study its event occurrences and correlations. In Chapter 4, we build a discrete PN model to represent a traffic network with two successive intersections. However, we find that the model leads to unbounded places which cannot accurately reflect the dynamics of the traffic in terms of event occurrences. Hence, we introduce the Modified Binary Petri nets (MBPN) to overcome the limitation and resolve the confliction problem when we design our controllers. This MBPN model is a powerful tool and can be useful for the modeling and analysis of many other applications in traffic networks. Chapter 5 gives a summary for each chapter, provides conclusion and discusses future work for both discrete and hybrid Petri nets

Adaptive performance optimization for large-scale traffic control systems

In this paper, we study the problem of optimizing (fine-tuning) the design parameters of large-scale traffic control systems that are composed of distinct and mutually interacting modules. This problem usually requires a considerable amount of human effort and time to devote to the successful deployment and operation of traffic control systems due to the lack of an automated well-established systematic approach. We investigate the adaptive fine-tuning algorithm for determining the set of design parameters of two distinct mutually interacting modules of the traffic-responsive urban control (TUC) strategy, i.e., split and cycle, for the large-scale urban road network of the city of Chania, Greece. Simulation results are presented, demonstrating that the network performance in terms of the daily mean speed, which is attained by the proposed adaptive optimization methodology, is significantly better than the original TUC system in the case in which the aforementioned design parameters are manually fine-tuned to virtual perfection by the system operators

A petri net on-line controller for the coordination of multiple mobile robots

In applications such as mining, space exploration, and toxic waste cleanup, mobile robots are often required to move within a common environment and to share resources. This introduces the need for a means of coordinating their behaviours. Also, due to the unpredictable nature of the worksite, there is a need to accommodate changes in a dynamic environment. -- A general framework for group robotics was developed in response to this need. The framework includes a discrete event controller for on-line control and runtime monitoring, the focus of the current research. -- A Petri net based discrete event formalism has been investigated as a basis for the development of an on-line controller, ftom a high-level task description, a set of rules have been used to automatically generate a Petri net structure that provides coordinated behaviour. The Petri net can then be executed to send instructions to robots and to incorporate feedback from the robots at runtime. This on-line controller has been used to control mobile robots in a proof-of-concept demonstration. In a laboratory setting, the Petri net controller was able to coordinate the behaviour of two robots in marker-based navigation tasks. -- Although the work completed to date has provided promising results, many research challenges remain. Some suggestions for future work are presented