The concept of electronic track map has been introduced and researched in many satellitebased railway train positioning and location-based railway systems. It should characterize the railway tracks and their key objects and facilities with a satisfied accuracy and completeness. Based on the application requirements, design and building of the electronic track maps should be in accordance with t...

We extend the model predictive control (MPC) framework, which is a very popular controller design method in the process industry, to transfer coordination in railway systems. In fact, the proposed approach can also be used for other systems with both hard and soft synchronization constraints, such as logistic operations. The main aim of the control is to recover from delays in an optimal way by...

Construction projects become complicated and fragmented so that many specialty contractors are involved. In such changed environments, a general contractor’s overhead costs are increasing comparable to direct costs. In addition to an increase of volume, activities consisting of overhead costs play an important role in coordinating different participants who include different specialty contracto...

Times of downturn in economy, tough competition, high costs, and large amounts of capital required for replacements have created growing need for cost cutting measures and for seeking better return on investment. This has also placed an increasing emphasis on maintenance practices to extend the service life of existing railroad bridges. This paper outlines the various factors which playa role i...

For supporting the analysis of railway interlocking systems in the early stage of their design we propose the use of model checking. We investigate the use of the formal modelling language CSP and the corresponding model checker FDR. In this paper, we describe the basics of this formalism and introduce our formal model of a railway interlocking system. Checking this model against the given safe...

In the railway domain, an interlocking is the system ensuring a safe train traffic inside a station by controlling its active elements such as the switches or the signals. Modern interlockings are configured using particular data, called application data, reflecting the topology of the station and defining the actions that the interlocking can take. The safety of the train traffic relies thereb...

Accession of the Republic of Poland to the European Union (EU) has committed Poland to adopt, among others, policy of opening up the market of products and services in the area of rail transport. Follow decision about the opening of the EU market and transport services for rail transport, the European Parliament and of the Council have introduced a number of safety and interoperability directiv...

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...