• 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 ...