We further enhance our previous results on model predictive control (MPC) for railway systems with both hard and soft connection constraints, i.e., railway systems where, if necessary, some connections may be broken (but then a penalty is incurred). In this paper we extend the previous model by also including variable traveling times, which offers an extra degree of freedom for control. We pres...

Study on search algorithm of passenger travel route in railway transport network is of great importance in evaluation on railway operation benefit. Based on features of large-scale network and railway passenger transportation organization, the paper firstly innovatively puts forward the generation method of alternative route set in multiple constraint conditions. K short routes is proposed base...

Kobe City is a metropolis including large suburbs, where housing communities have been developed for many years. People have been recently moving to the urban areas and the suburbs are losing their power to attract population. At the same time, many blocks of high-rise flats have being built near railway stations adjoining town centers, and are drawing people of all generations. Residents with ...

Safety is an essential requirement for railway transportation. There are many methods that have been developed to predict, prevent and mitigate accidents in this context. All of these methods have their own purpose and limitations. This paper presents a new useful analysis technique: timed fault tree analysis. This method extends traditional fault tree analysis with temporal events and fault ch...

construction of railway embankments on loose beds without using any methods of soil improvement (e.g. stone columns in silt and clay beds, deep soil mixing method, jet grouting and also using micropiles individually or in groups form) leads to  reduction of embankment slope gradient, which significantly increases the volume of soil operation. generally, micropile as a reinforcing element with t...

The vibrations produced by trains include two parts which are deterministic and random vibrations. Due to variation of dynamic loads and patterns of load-time, the random vibration of moving train is one of the most important issues in the field of railway engineering. One of the important sources in producing the train vibrations is rail roughness and irregularities. In this paper, responses o...

Stålmarck’s proof procedure is a method of tautology checking that has been used to verify railway interlocking software. Recently, it has been proposed [SS98] that the method has potential to increase the capacity of formal verification tools for hardware. In this paper, we examine this potential in light of an experiment in the opposite direction: the application of symbolic model checking to...

This paper deals with the use of Petri nets in modelling railway network and designing appropriate control logic for it to avoid collision. Here, the whole railway network is presented as a combination of the elementary models – tracks, stations and points (switch) within the station including sensors and semaphores. We use generalized mutual exclusion constraints and constraints containing the...

Railway optimization problems have been studied from a mathematical programming perspective for decades. This approach is particularly well suited to model the multitude of constraints that typically arises in the context of a railway system. In recent years, these problems have attracted some attention in the algorithms community, with a focus on individual problem aspects, in an attempt to un...

As a typical discrete element dynamic system (DEDS), railway container hub scheduling system has the characteristic of high randomness, low flexibility, uncertainty of operation time and high coordination demand of facilities. In this paper, according to the analysis of layout, establishment, facility and operation procedure of railway container hub, we choose Multiagent systems (MAS) which hav...