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