Browsing SINTEF Digital by Subject "Railways networks"
Now showing items 1-1 of 1
-
The Tick Formulation for deadlock detection and avoidance in railways traffic control
(Peer reviewed; Journal article, 2021)Wrong dispatching decisions may lead to deadlocks, where trains reciprocally block resources necessary to reach their destinations. It is crucial to develop tools to detect such potential deadlocks on time, in order to ...