License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CP.2023.44
URN: urn:nbn:de:0030-drops-190815
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/19081/
Combarro Simón, Manuel ;
Talbot, Pierre ;
Danoy, Grégoire ;
Musial, Jedrzej ;
Alswaitti, Mohammed ;
Bouvry, Pascal
Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper)
Abstract
Satellite imagery solutions are widely used to study and monitor different regions of the Earth. However, a single satellite image can cover only a limited area. In cases where a larger area of interest is studied, several images must be stitched together to create a single larger image, called a mosaic, that can cover the area. Today, with the increasing number of satellite images available for commercial use, selecting the images to build the mosaic is challenging, especially when the user wants to optimize one or more parameters, such as the total cost and the cloud coverage percentage in the mosaic. More precisely, for this problem the input is an area of interest, several satellite images intersecting the area, a list of requirements relative to the image and the mosaic, such as cloud coverage percentage, image resolution, and a list of objectives to optimize. We contribute to the constraint and mixed integer lineal programming formulation of this new problem, which we call the satellite image mosaic selection problem, which is a multi-objective extension of the polygon cover problem. We propose a dataset of realistic and challenging instances, where the images were captured by the satellite constellations SPOT, Pléiades and Pléiades Neo. We evaluate and compare the two proposed models and show their efficiency for large instances, up to 200 images.
BibTeX - Entry
@InProceedings{combarrosimon_et_al:LIPIcs.CP.2023.44,
author = {Combarro Sim\'{o}n, Manuel and Talbot, Pierre and Danoy, Gr\'{e}goire and Musial, Jedrzej and Alswaitti, Mohammed and Bouvry, Pascal},
title = {{Constraint Model for the Satellite Image Mosaic Selection Problem}},
booktitle = {29th International Conference on Principles and Practice of Constraint Programming (CP 2023)},
pages = {44:1--44:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-300-3},
ISSN = {1868-8969},
year = {2023},
volume = {280},
editor = {Yap, Roland H. C.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/19081},
URN = {urn:nbn:de:0030-drops-190815},
doi = {10.4230/LIPIcs.CP.2023.44},
annote = {Keywords: constraint modeling, satellite imaging, set covering, polygon covering}
}
