O.R. Applications
A probabilistic (max, +) approach for determining railway infrastructure capacity

https://doi.org/10.1016/S0377-2217(02)00467-8Get rights and content

Abstract

We consider the problem of determining the capacity of a planned railway infrastructure layout under uncertainties. In order to address the long-term nature of the problem, in which the exact (future) demand of service is unknown, we develop a “timetable”-free approach to avoid the specification of a particular timetable. We consider a generic infra-element that allows a concise representation of many different combinations of infrastructure, safety systems and traffic regimes, such as mixed double and single track lines (e.g., a double track line including a single tunnel tube), and train operations on partly overlapping routes at station yards. We translate the capacity assessment problem for such a generic infra-element into an optimization problem and provide a solution procedure. We illustrate our approach with a capacity assessment for the newly built high-speed railway line in The Netherlands.

Introduction

Capacity assessment for railway infrastructure plays a key role in the design of layouts of infra-elements, such as tunnels, bridges, lines and complex railway yards, such as stations. We define capacity of a railway infra-element (denoted by Nsys) as the maximal number of train movements that can be executed on the particular infra-element in T time units (e.g., T=60 minutes) with probability greater than or equal to p where p is a predefined reliability threshold. The purpose of railway capacity assessments is to decide whether the proposed infrastructure layout can handle the intended traffic load (denoted by Nintended) meeting predefined quality requirements. If capacity assessments yield negative results, that is, if Nsys<Nintended with probability greater than p, alternative track layouts have to be considered. In this way, railway planners can adequately weigh involved construction costs against expected revenues (in terms of quality of service offered). In fact, changes in the European railway market show that this cost awareness argument for performing capacity studies is of growing importance.

The capacity of an infra-element is determined by (a) structural aspects, such as the proposed track layout and the underlying safety system, (b) timing aspects, such as running times and dwelling times of trains as well as the amount of time required for boarding and alighting, and (c) the timetable (precise arrangement of train arrivals and departures in time and space). Structural aspects remain constant for many years ahead, and they are usually known during the planning phase. This is in contrast to the timing aspects as well as the timetable. As for the timing aspects, they are typically unknown during planning stages for two reasons: (1) the future service demand (for example, the expected numbers of passengers traveling by train, and the types of rolling stock to be deployed during operation) is unknown, and (2) external influences (for example, weather conditions and malfunctioning of rolling stock) may cause fluctuations in the (actual) process times. On the other hand, the timetable is usually altered at least once a year, and, hence, it is not practical to use a particular timetable to assess the infrastructure capacity.

The uncertainty about the timing aspects is addressed by letting the corresponding variables be stochastic, and in order to obtain a capacity measurement that is insensitive to a particular timetable, we apply “Wakob’s razor”: (1) we let trains arrive to the infra-element with interarrival time 0, and (2) we assume that initially there are infinitely many trains waiting in reservoirs to enter the infra-element. This saturation type of approach was introduced in [15], while its effectiveness in practice was demonstrated in De Kort et al. [10]. Apart from avoiding the specification of a particular timetable, Wakob’s razor has the benefit that the measured capacity is independent of stochastic perturbations of the “outer” system, that is, the cause of any observed delay has to be the layout of the infra-element.

In order to model the infra-element according to steps (1) and (2) above, we determine Nsys, the maximal number of train movements that can be executed in T time units (e.g., T=60 minutes) with probability p. Hence, we consider the capacity to be sufficient if and only if NsysNintended. A mathematical framework most suitable for the analysis of transportation systems, such as train networks, is the (max,+) algebra (to be introduced presently), and we model dynamics of the train system (including the impact of the underlying safety system) by a set of stochastic difference equations that are linear in the (max,+) algebra. Heidergott and De Vries [7] provide a state-of-the-art overview of the applications of (max,+) techniques to the control of train networks.

Predominant in railway capacity planning literature are stochastic models capturing uncertainties with respect to the precise traffic load. Here, random travel times model an unspecified timetable, see e.g. Schwanhäußer [13], Wakob [15], Wendler [16] and Huisman and Boucherie [8]. By contrast, methods dealing with stochastic fluctuations, such as delays, typically assume a specific traffic load or even a fixed timetable; see e.g. Middelkoop and Bouwman [12], Florio and Mussone [5], Barter [3] and Kraft [11].

The approach most closely related to ours is that of Wakob [15]. More specifically, Wakob studies the impact of track layouts on capacity while assuming that trains arrive in a completely random way (no timetable). To this end, particular infra-elements are isolated and analyzed by a queueing theory-based approach. Subsequently, the obtained performances of the isolated infra-elements are aggregated according to an overall scheme to yield the capacity of entire track facilities, such as stations. The adopted performance indicator is based on total waiting times. Unfortunately, these waiting times are abstract entities and are not related to waiting times that may occur in the real system, which makes it difficult to compare outcomes of the method to real-life observations (see [10]). Furthermore, Wakob’s approach does not deal with stochastic fluctuations, such as delays.

The approach we present in the paper combines the main capabilities of all above mentioned methods. That is, our method simultaneously deals with stochastic fluctuations and uncertainties in service demand while revealing the impact of a given track layout on capacity. In addition, the adopted performance indicator is easy to understand because it has a clear and obvious correspondence to daily practice (namely, the proportion of trains arriving in time).

The paper is organized as follows. Section 2 provides a brief introduction to (max,+) algebra. In Section 3, we introduce a generic infra-element and we derive the difference equations that describe the temporal dynamic behavior of this element. In Section 4, we formulate the optimization problem and provide a solution procedure. In Section 5, we apply our approach to a real-life situation: a capacity assessment for the new high-speed railway line in The Netherlands. Section 6 concludes the paper.

Section snippets

The (max, +) algebra

In this section we introduce the (max,+) algebra which will be the basic reference algebra throughout this paper. Let ϵ=−∞ and let us denote by Rϵ the set R∪{ϵ}. For elements a, b∈Rϵ we define the operations ⊕ and ⊗ bya⊕b=max(a,b)anda⊗b=a+b,where we adopt the convention that for all a∈R, max(a,−∞)=max(−∞,a)=a and a+(−∞)=−∞+a=−∞. The set Rϵ together with the operations ⊕ and ⊗ is called the (max,+) algebra and is denoted by Rmax. In particular, ϵ is the neutral element for the operation ⊕ and

The (max,+) model of a generic infrastructure element

This section provides the mathematical analysis of a generic infrastructure element, called ‘generic building block’. Here the term ‘generic’ means that the infrastructure element contains all basic elements of railway infrastructure. Particularly, the generic building block allows a concise representation of many different combinations of infrastructure, safety systems and traffic regimes, such as mixed double and single track lines (e.g., a double track line including a single tunnel tube),

Formulation of the capacity assessment problem

Our objective is to find the maximum number of train movements the system can handle within a predefined period of time, denoted by T. In railway practice, T is usually set equal to 60 minutes as the intended operation involves the same arrival and departure times during every operating hour.

Observe that x(k) contains the kth departure times from all nodes. In particular, x5(k) refers to the departure time of the kth train running from left to right, and x10(k) refers to the departure time of

Problem statement

As an application, we consider the capacity assessment problem for The Netherlands portion of HSL South, the new high-speed railway line which is being built in The Netherlands and will connect Amsterdam with Brussels and Paris via Rotterdam and vice versa. The Dutch part of the line will be operational in 2005 and from then on, the expected traffic load will be 8 trains per hour (in both directions), increasing up to 16 trains per hour by 2015.

The Dutch part of the line includes three special

Conclusions

In this paper we illustrated that the (max,+) semiring is a suitable mathematical framework for analyzing the impact of infrastructure constrains, the underlying safety system and special traffic regimes on the capacity of a given railway track layout. Moreover, the generic building block concept allows a similar assessment of infrastructure elements, lines and complex junctions because it focuses on the potential bottlenecks of the layout under consideration. By adopting the principle of

Acknowledgements

Part of the work by the first author was done while he was with the company Holland Railconsult. The authors like to thank Holland Railconsult for its support.

Part of the work by the second author was done during his stay at EURANDOM which was supported by Deutsche Forschungsgemeinschaft under grant He 3139/1-1.

The research of the third author was supported by the National Science Foundation under grants DMI-9713974, DMI-9908161 and DMI-9984352.

References (16)

  • T. Huisman et al.

    Running times on railway sections with heterogeneous train traffic

    Transportation Research Part B

    (2001)
  • H. Ayhan et al.

    Job flow control in assembly operations

    IEEE Transactions on Automatic Control

    (1999)
  • F. Baccelli et al.

    Synchronization and Linearity: An Algebra for Discrete Event Systems

    (1992)
  • W.A.M. Barter

    Application of computer simulation to rail capacity planning

  • L. Florio, L. Mussone, A method of capacity computation for complex railway systems, in: D. Hensher et al. (Eds.),...
  • B. Heidergott

    A Characterization for (max,+)-linear queueing systems

    Queueing Systems

    (2000)
  • B. Heidergott et al.

    Towards a control theory for transportation networks

    Discrete Event Dynamic Systems

    (2001)
There are more references available in the full text version of this article.

Cited by (0)

1

Written on personal behalf.

2

Present address: Department of Econometrics and Operations Research, Free University of Amsterdam, De Boelelaan 1105, NL–1018 HV Amsterdam, The Netherlands.

View full text