Blar i SINTEF Digital på emneord "Railways networks"
Viser treff 1-1 av 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 ...