After 1860’s the railway systems has started to be used in urban transportation in the world. However, especially after the 1950’s, automobile usage has been increased quickly. Thus the dense of transportation has started to move from railway systems to the ones with rubber tire vehicles in Istanbul. Traffic density in urban transportation has started to be experienced since 1950 with the incre...

Several formal methods have been proposed for the specification and safety verification of railway applications. In order to be successful they need industrial strength tools to support the animation, proof, model checking and simulation of such systems. The complexity of railway systems means that capability of the analysis tools have consistently been improving. In our approach we propose tha...

Active steering system of railway vehicles has proven its ability to bridge the gap between stability and curve friendliness. Generally scaled railway vehicles were developed to reproduce the fundamental dynamic behavior of the full size railway vehicle in laboratory conditions. This paper describes the design of the braking/traction control systems as a part of a 1/5 scaled railway vehicle for...

Railway designs deal with complex and large-scale, safety-critical infrastructures, where formal methods play an important role, especially in verifying the safety of so-called interlockings through model checking. Model checking deals with state change and rather complex properties, usually incurring considerable computational burden (chiefly in terms of memory, known as state-space explosion ...

The paper presents the development of an intelligent railway safety risk assessment based support system. The proposed method can evaluate qualitative and quantitative safety risk data and information in a uniform manner for railway safety risk assessment. It permits the safety risk analysts to assess the risks associated with the failure modes directly using linguistic terms, i.e. qualitative ...

In this paper we discuss dynamic traffic management of railway networks. The main aim of the controller is to recover from delays in an optimal way by breaking connections and changing the departure of trains (at a cost). To model the railway system we use a switching max-plus-linear system description. We define the optimal control design problem for the railway network, and we show that solvi...

The most important issue in railway systems is to provide safe transportation. Since no error can be tolerated in railway systems it is an obligation to use reliable signalization and interlocking systems which have to decide what to do in unexpected situations like switch disruptions or signal light defects. By the rapid development in railway systems more formal methods are needed for modelin...

In the context of organizing timetables for railway companies the following railway carriage routing problem occurs. Given a timetable containing rail links with departure and destination times/stations and the composition of the trains, find a routing of railway carriages such that the required carriages are always available when a train departs. We will present a local search approach for thi...

This study examines the effect of road and railway noise on property prices. It uses the hedonic regression technique on a Swedish data set that contains information about both road and railway noise for each property, and finds that road noise has a larger negative impact on the property prices than railway noise. This is in line with the evidence from the acoustical literature which has shown...

As railroad bridge is one of the most important infrastructures of railway, the safety of bridge has a direct effect on railway operation efficiency and safety. In this paper, we propose a distributed railway bridge monitoring platform based on the Internet of Things (IOT) to monitoring the state of bridge safety. We made detailed research on the sensor nodes deployment, sensing data updating a...