HAL Open Science, vol.1, no.1, pp.1-23, 2021 (Non Peer-Reviewed Journal)
As the number of people living in metropolises are increasing with urbanization, the demand for metro systems, which
are accepted as the main mode of modern urban transportation, is increasing especially in big metropolises such as
Istanbul. As a result of this change, a higher performance is expected from Communication Based Train Control
(CBTC) systems today, such that the reduction of the headway without compromising reliability and safety will be
one of the primary goals in the coming years. From wireless communication infrastructure to vehicle dynamics, so
many factors appear in the improvement of this challenging problem. On the other hand, some subsystems of CBTC
such as Automatic Train Protection (ATP) are expected to implement the desired safety functions with the highest
level of safety without being affected by these evolving technologies and increasing requirements. However, the
generic design of these systems may need to be modified according to these new requirements. In this context, formal
modeling methods and the development of supervisory controllers within these context are of great importance.
In this study, CBTC and its subsystem ATP are modeled by finite state automata with discrete event system approach.
It has been shown that the corresponding supervisory controllers meet the controllability and non-locking control
conditions. Furthermore, the results are compared with the monolithic approach structure.