Optimization of Image Acquisition for Earth Observation Satellites via Quantum Computing

Jul 26, 2023
12 pages
e-Print:
DOI:

Citations per year

20222023202402
Abstract: (arXiv)
Satellite image acquisition scheduling is a problem that is omnipresent in the earth observation field; its goal is to find the optimal subset of images to be taken during a given orbit pass under a set of constraints. This problem, which can be modeled via combinatorial optimization, has been dealt with many times by the artificial intelligence and operations research communities. However, despite its inherent interest, it has been scarcely studied through the quantum computing paradigm. Taking this situation as motivation, we present in this paper two QUBO formulations for the problem, using different approaches to handle the non-trivial constraints. We compare the formulations experimentally over 20 problem instances using three quantum annealers currently available from D-Wave, as well as one of its hybrid solvers. Fourteen of the tested instances have been obtained from the well-known SPOT5 benchmark, while the remaining six have been generated ad-hoc for this study. Our results show that the formulation and the ancilla handling technique is crucial to solve the problem successfully. Finally, we also provide practical guidelines on the size limits of problem instances that can be realistically solved on current quantum computers.
  • computer: quantum
  • satellite
  • benchmark
  • hybrid
  • orbit
  • artificial intelligence
  • [1]
    : A new hybrid genetic algorithm for the collection scheduling problem for a satellite constellation. Journal of the Operational Research Society 71(9), 1390-1410
    • M. Barkaoui
      ,
    • J. Berger
  • [2]
    : Earth observation satellite management. Constraints 4(3), 293-299
    • E. Bensana
      ,
    • M. Lemaitre
      ,
    • G. Verfaillie
  • [3]
    : A heuristic for the multi-satellite, multi-orbit and multi-user management of earth observation satellites. European Journal of Operational
    • N. Bianchessi
      ,
    • J.F. Cordeau
      ,
    • J. Desrosiers
      ,
    • G. Laporte
      ,
    • V. Raymond
      • Research 177 (2007) 750-762
  • [4]
    : Pseudo-boolean optimization
    • E. Boros
      ,
    • P.L. Hammer
  • [4]
  • [6]
    Burnaby, Canada: QPU-Specific Physical Properties: Advantage2 prototype1.1 (User Manual)
    • D-Wave Systems
  • [7]
    Burnaby, Canada: QPU-Specific Physical Properties: Advantage system6.1 (User Manual)
    • D-Wave Systems
  • [8]
    Burnaby, Canada: QPU-Specific Physical Properties: DWQ 6 (User Manual) (2022)
    • D-Wave Systems
  • [10]
    : A tabu search algorithm for satellite imaging scheduling. In:
    • W.C. Lin
      ,
    • D.Y. Liao
  • [10]
    International Conference on Systems, Man and Cybernetics
    • W.C. Lin
      ,
    • D.Y. Liao
  • [11]
    : Quantum computing: Towards industry reference problems. Digitale Welt 5(2), 38-45
    • A. Luckow
      ,
    • J. Klepsch
      ,
    • J. Pichlmeier
  • [12]
    : Satellite constellation image acquisition problem: A case study. Space Engineering: Modeling and Optimization with Case Studies pp. 177-197
    • K.T. Malladi
      ,
    • S.M. Minic
      ,
    • D. Karapetyan
      ,
    • A.P. Punnen
  • [14]
    : Benchmark dataset and instance generator for the satellite-image-acquisition scheduling problem
    • E. Osaba
      ,
    • A. Makarov
      ,
    • M.M. Taddei
  • [15]
    : A systematic literature review of quantum computing for routing problems. IEEE Access pp. 55805-55817
    • E. Osaba
      ,
    • E. Villar-Rodriguez
      ,
    • I. Oregi
  • [16]
    : Strong formulation for the spot 5 daily photograph scheduling problem
    • G.M. Ribeiro
      ,
    • M.F. Constantino
      ,
    • L.A.N. Lorena
      • J.Combin.Optim. 20 (2010) 385-398
  • [17]
    : Image acquisition planning for earth observation satellites with a quantum annealer. arXiv preprint
    • T. Stollenwerk
      ,
    • V. Michaud
      ,
    • E. Lobe
      ,
    • M. Picard
      ,
    • A. Basermann
    et al.
  • [18]
    : Agile earth observation satellite scheduling with a quantum annealer
    • T. Stollenwerk
      ,
    • V. Michaud
      ,
    • E. Lobe
      ,
    • M. Picard
      ,
    • A. Basermann
    et al.
      • IEEE Trans.Aerosp.Electron.Syst. 57 (2021) 3520-3528
  • [19]

    logic-constrained

    • M. Vasquez
      ,
    • J.K. Hao
      • Comput.Optim.Appl. 20 (2001) 137-157
  • [20]
    : Upper bounds for the spot 5 daily photograph scheduling problem
    • M. Vasquez
      ,
    • J.K. Hao
      • J.Combin.Optim. 7 (2003) 87-103
  • [21]
    Hu, X., Qiu, D., Liu, J
    • J. Wang
      ,
    • E. Demeulemeester
  • [22]
    Wu, G., Xing, L., Pedrycz, W
    • X. Wang
  • [23]
    Hu, X., Zhu, W., Jin, P
    • Y. Zhang
      • Information 6 (2018) 399-420