• Disruption management in railway systems by safe place assignment 

      Croella, Anna Livia; Dal Sasso, Veronica; Lamorgese, Leonardo Cameron; Mannino, Carlo; Ventura, Paolo (Peer reviewed; Journal article, 2022)
      When major disruptions occur in a rail network, the infrastructure manager and train operating companies may be forced to stop trains until the normal status is recovered. A crucial aspect is to identify, for each train, ...
    • 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 ...