Blar i Publikasjoner fra CRIStin - SINTEF AS på forfatter "Lamorgese, Leonardo"
-
Easy Cases of Deadlock Detection in Train Scheduling
Dal Sasso, Veronica; Lamorgese, Leonardo; Mannino, Carlo; Tancredi, Antonio; Ventura, Paolo (Peer reviewed; Journal article, 2022)A deadlock occurs when two or more trains are preventing each other from moving forward by occupying the required tracks. Deadlocks are rare but pernicious events in railroad operations and, in most cases, are caused by ... -
The Tick Formulation for deadlock detection and avoidance in railways traffic control
Dal Sasso, Veronica; Lamorgese, Leonardo; Mannino, Carlo; Onofri, Andrea; Ventura, Paolo (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 ...