A branch and price algorithm for EOS constellation imaging and downloading integrated scheduling problem

Abstract Earth observation satellite (EOS) constellation imaging and downloading integrated scheduling (EOSCIDIS) is a challenging optimization problem with several engineering applications. Given a large number of imaging requests and a constellation consisting of a group of EOSs, a workable schedule must be developed for each EOS to allow for imaging and downloading in the most efficient manner given a certain scheduling horizon. No studies have proposed exact algorithms for the EOSCIDIS problem, although it has considerable potential for applications. In this paper, we developed a branch and price (B&P) algorithm for the EOSCIDIS problem. First, we decomposed the problem by extracting the sub-structure of the problem, and the decomposition resulted in a master problem and multiple pricing problems. Solving the linear relaxed master problem with column generation (CG) method provides a very tight upper bounds for the primal problem. We then embedded the CG process into a branch and bound (B&B) framework to find optimal integer solutions. In order to accelerate the convergence of the algorithm, we developed a heuristic utilizing the generated columns to construct feasible integer solutions to prune B&P tree branches earlier. We tested the B&P algorithm on highly-simulated instances that are constructed according to the Chinese Gaofen-1 satellite and 3 types of random instances which correspond to short, medium and long term scheduling respectively. Both results show that our method could find high-quality solutions with optimality gap less than 10% for most instances using reasonable computational costs .

[1]  Qian Wang,et al.  A hybrid discrete particle swarm optimization for satellite scheduling problem , 2013, IEEE Conference Anthology.

[2]  Peng Gao,et al.  A model, a heuristic and a decision support system to solve the scheduling problem of an earth observing satellite constellation , 2011, Comput. Ind. Eng..

[3]  Maged M. Dessouky,et al.  A genetic algorithm approach for solving the daily photograph selection problem of the SPOT5 satellite , 2010, Comput. Ind. Eng..

[4]  Erik Demeulemeester,et al.  A pure proactive scheduling algorithm for multiple earth observation satellites under uncertainties of clouds , 2016, Comput. Oper. Res..

[5]  Chen Ying-wu,et al.  Multi satellites scheduling algorithm based on task merging mechanism , 2014 .

[6]  Nicolas Jozefowiez,et al.  A multi-objective local search heuristic for scheduling Earth observations taken by an agile satellite , 2015, Eur. J. Oper. Res..

[7]  Jin Liu,et al.  A two-phase scheduling method with the consideration of task clustering for earth observing satellites , 2013, Comput. Oper. Res..

[8]  Rui Xu,et al.  Priority-based constructive algorithms for scheduling agile earth observation satellites with total priority maximization , 2016, Expert Syst. Appl..

[9]  William J. Wolfe,et al.  Three Scheduling Algorithms Applied to the Earth Observing Systems Domain , 2000 .

[10]  Jacek Gondzio,et al.  Large-scale optimization with the primal-dual column generation method , 2013, Math. Program. Comput..

[11]  Arezoo Sarkheyli,et al.  Using an effective tabu search in interactive resources scheduling problem for LEO satellites missions , 2013 .

[12]  Martin W. P. Savelsbergh,et al.  Branch-and-Price: Column Generation for Solving Huge Integer Programs , 1998, Oper. Res..

[13]  Abraham P. Punnen,et al.  Satellite Constellation Image Acquisition Problem: A Case Study , 2016 .

[14]  Jacek Gondzio,et al.  New developments in the primal-dual column generation technique , 2013, Eur. J. Oper. Res..

[15]  Gilbert Laporte,et al.  Maximizing the value of an Earth observation satellite orbit , 2005, J. Oper. Res. Soc..

[16]  Shengyao Wang,et al.  A novel binary fruit fly optimization algorithm for solving the multidimensional knapsack problem , 2013, Knowl. Based Syst..

[17]  Al Globus,et al.  A Comparison of Techniques for Scheduling Earth Observing Satellites , 2004, AAAI.

[18]  Djamal Habet,et al.  Bounding the optimum for the problem of scheduling the photographs of an Agile Earth Observing Satellite , 2010, Comput. Optim. Appl..

[19]  Joseph N. Pelton,et al.  Handbook of Satellite Applications , 2012 .

[20]  Zuren Feng,et al.  Multi-satellite control resource scheduling based on ant colony optimization , 2014, Expert Syst. Appl..

[21]  Thomas Schiex,et al.  Russian Doll Search for Solving Constraint Optimization Problems , 1996, AAAI/IAAI, Vol. 1.

[22]  Daniel Vanderpooten,et al.  Enumeration and interactive selection of efficient paths in a multiple criteria graph for scheduling an earth observing satellite , 2002, Eur. J. Oper. Res..

[23]  Gérard Verfaillie,et al.  Earth Observation Satellite Management , 1999, Constraints.

[24]  Vangelis Th. Paschos,et al.  A new single model and derived algorithms for the satellite shot planning problem using graph theory concepts , 1997, Ann. Oper. Res..

[25]  Adam Janiak,et al.  On a single machine-scheduling problem with separated position and resource effects , 2015 .

[26]  Giovanni Righini,et al.  Planning and scheduling algorithms for the COSMO-SkyMed constellation , 2008 .

[27]  Xiaomin Zhu,et al.  Towards dynamic real-time scheduling for multiple earth observation satellites , 2015, J. Comput. Syst. Sci..

[28]  Jacek Gondzio,et al.  A new warmstarting strategy for the primal-dual column generation method , 2015, Math. Program..

[29]  Gérard Verfaillie,et al.  Selecting and scheduling observations of agile satellites , 2002 .

[30]  J. Desrosiers,et al.  A Primer in Column Generation , 2005 .

[31]  Abraham P. Punnen,et al.  Clustered maximum weight clique problem: Algorithms and empirical analysis , 2017, Comput. Oper. Res..

[32]  Yingwu Chen,et al.  An adaptive large neighborhood search metaheuristic for agile satellite scheduling with time-dependent transition time , 2017, Comput. Oper. Res..

[33]  Cécile Murat,et al.  MATHEMATICAL PROGRAMMING FOR EARTH OBSERVATION SATELLITE MISSION PLANNING , 2003 .

[34]  Abraham P. Punnen,et al.  Satellite downlink scheduling problem: A case study , 2015 .

[35]  Sheldon H. Jacobson,et al.  Branch-and-bound algorithms: A survey of recent advances in searching, branching, and pruning , 2016, Discret. Optim..

[36]  Virginie Gabrel Strengthened 0-1 linear formulation for the daily satellite mission planning , 2006, J. Comb. Optim..

[37]  Jin-Kao Hao,et al.  Upper Bounds for the SPOT 5 Daily Photograph Scheduling Problem , 2003, J. Comb. Optim..

[38]  Jacques Desrosiers,et al.  Selected Topics in Column Generation , 2002, Oper. Res..

[39]  Xiangtong Qi,et al.  The Destination-Loader-Door Assignment Problem for Automated Package Sorting Centers , 2016, Transp. Sci..

[40]  Scott Madry Introduction and History of Space Remote Sensing , 2013 .

[41]  Li Xiao,et al.  Optimal Policies for a Dual-Sourcing Inventory Problem with Endogenous Stochastic Leadtimes , 2016, Oper. Res..

[42]  George B. Dantzig,et al.  Decomposition Principle for Linear Programs , 1960 .

[43]  Manuel Iori,et al.  Heuristic and Exact Algorithms for the Interval Min-Max Regret Knapsack Problem , 2015, INFORMS J. Comput..