• A survey of approaches for prioritizing trains in congested railroad networks 

      Lium, Arnt-Gunnar; Werner, Adrian; Mannino, Carlo (Research report, 2012)
    • Air Traffic Flow Management with Layered Workload Constraints 

      Mannino, Carlo; Nakkerud, Andreas; Sartor, Giorgio (Peer reviewed; Journal article, 2020)
      Many regions of the world are currently struggling with congested airspace, and Europe is no exception. Motivated by our collaboration with relevant European authorities and companies in the Single European Sky ATM Research ...
    • An exact decomposition approach for the real-time train dispatching problem 

      Lamorgese, Leonardo Cameron; Mannino, Carlo (SINTEF Rapport;, Research report, 2012)
      Trains movement on a railway network are regulated by the official timetables. Deviations and delays occur quite often in practice, asking for fast rescheduling and rerouting decisions in order to avoid conflicts and ...
    • An exact decomposition approach for the real-time Train Dispatching problem (v.2) 

      Lamorgese, Leonardo Cameron; Mannino, Carlo (Research report, 2013)
      Trains movements on a railway network are regulated by official timetables. Deviations and delays occur quite often in practice, demanding fast re-scheduling and re-routing decisions in order to avoid conflicts and minimize ...
    • Can Holistic Optimization Improve Airport Air Traffic Management Performance 

      Karahasanovic, Amela; Zeh, Theodor; Eide, Aslak Wegner; Schittekat, Patrick; Swendgaard, Hans; Bakhrankova, Krystsina; Grantz, Volker; Kjenstad, Dag; Mannino, Carlo; Rokitansky, Carl-Herbert; Gräupl, Thomas (Journal article; Peer reviewed, 2019)
      Air transportation is an important factor in the economic growth of the European Union; however, the current system is already approaching its capacity and cost limits, and therefore needs to be reformed to meet the demands ...
    • Coupling time-indexed and big-M formulations for real-time train scheduling during metro service disruptions 

      Huang, Yeran; Mannino, Carlo; Yang, Lixing; Tang, Tao (Peer reviewed; Journal article, 2020)
      Track disruptions in metro systems may lead to severe train delays with many passengers stranded at platforms, unable to board on overloaded trains. Dispatchers may put in place different recovery actions, such as alternating ...
    • 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 ...
    • Hotspot Resolution with Sliding Window Capacity Constraints using the Path&Cycle Algorithm 

      Mannino, Carlo; Nakkerud, Andreas; Sartor, Giorgio; Schittekat, Patrick (Journal article; Peer reviewed, 2018)
      We extend the new, efficient Path&Cycle formulation for the Hotspot Problem with two methods for dealing with windowed capacity constraints. We also discuss how to combine constraints to allow two-level capacity restricions ...
    • Integer Programming Techniques for Train Dispatching in Mass Transit and Main Line 

      Mannino, Carlo; Lamorgese, Leonardo Cameron; Piacentini, Mauro (Chapter, 2017)
      Trains moving in railway systems are often affected by delays or cancellations. This in turn may produce knock-on effects and propagate to other trains and other regions of the network. These undesired effects may be ...
    • A MILP model for quasi-periodic strategic train timetabling 

      Sartor, Giorgio; Mannino, Carlo; Nygreen, Thomas; Bach, Lukas (Peer reviewed; Journal article, 2022)
      In railways, the long-term strategic planning is the process of evaluating improvements to the railway network (e.g., upgrading a single track line to a double track line) and changes to the composition/frequency of train ...
    • Optimal design of a regional railway service in Italy 

      Fedeli, Francesca; Mancini, Roberto; Mannino, Carlo; Ofria, Paolo; Oriolo, Gianpaolo; Pacifici, Andrea; Piccialli, Veronica (Journal article; Peer reviewed, 2017)
      In order to assess the actual ability of planned infrastructure investments to satisfy the required demand of service, railway engineers also need to plan the new offer of train services. In turn, this requires a full ...
    • Optimal Train Rescheduling in Oslo Central Station 

      Mannino, Carlo; Nakkerud, Andreas (Peer reviewed; Journal article, 2022)
      Real-time train dispatching (i.e., rescheduling and replatforming) in passenger railway stations is a very important and very challenging task. In most major stations, this task is carried out by hand by highly trained ...
    • Prioritization of Trains: mathematical model 

      Lamorgese, Leonardo Cameron; Lium, Arnt-Gunnar; Mannino, Carlo (, Research report, 2014)
      We present a mathematical optimization model suitable for providing decision support on train dispatching on small and medium sized regional lines. An implementation of the model has undergone extensive real life testing ...
    • Scheduling Vehicles with Spatial Conflicts 

      Kloster, Oddvar; Mannino, Carlo; Riise, Atle; Schittekat, Patrick (Peer reviewed; Journal article, 2022)
      When scheduling the movement of individual vehicles on a traffic network, one must ensure that they never get too close to one another. This is normally modelled by segmenting the network and forbidding two vehicles to ...
    • The Path&Cycle formulation for the Hotspot Problem in Air Traffic Management 

      Sartor, Giorgio; Mannino, Carlo (Chapter, 2018)
      The Hotspot Problem in Air Traffic Management consists of optimally rescheduling a set of airplanes that are forecast to occupy an overcrowded region of the airspace, should they follow their original schedule. We first ...
    • The Surgery Scheduling Problem - A General Model 

      Riise, Atle; Mannino, Carlo (Research report, 2012)
      The term surgery scheduling is used about a variety of strategic, tactical and operational scheduling problems, many of which are critical to an efficient use of hospital resources. Our focus is on operational surgery ...
    • 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 ...
    • Time-indexed formulations for the Runway Scheduling Problem 

      Avella, Pasquale; Boccia, Maurizio; Mannino, Carlo; Vasiliev, Igor (Journal article; Peer reviewed, 2017)
      Abstract The problem of sequencing and scheduling airplanes landing and taking off on a runway is a major challenge for air traffic management. This difficult real-time task is still carried out by human controllers, with ...
    • Train Dispatching 

      Lamorgese, Leonardo Cameron; Mannino, Carlo; Pacciarelli, Dario; Krasemann, Johanna Törnquist (Chapter, 2018)
      Train rescheduling problems have received significant attention in the operations research community during the past 20–30 years. These are complex problems with many aspects and constraints to consider. This chapter defines ...