Abstract Metro system disruptions are a big concern due to their impacts on safety, service quality, and operating efficiency. A better understanding of performance passenger behavior under unplanned is critical for efficient decision making, effective customer communication, identifying potential improvements. However, few studies explore disruption individual behavior, most use manually colle...

In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...

In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...

In this project the verification of safety conditions for the control of a railway interlocking system written in ladder logic is carried out. All translation steps have been implemented and tested for a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the translatio...

Introduction Providing more comfortable station environment foremost from the customer’s point of view is essential for sustaining railway customers. As the result of surveys regarding comfort and cleanliness of railway stations and airports, approximately 90% of customers answered that airports are more comfortable and cleaner than railway stations (Fig. 1). Customers also have shown a keen in...

Historically, changes in transport infrastructures have produced a progressive contraction of space, in the sense that travel times have been shortened and transport costs have been reduced. Improvement of transportation networks reduces interaction costs, increases the overall competitiveness of the system and allows for more specialization such that economies of scale and specialization benef...