Development of an optimization model for image collection planning

Customer service requests for satellite-based image collection rapidly grow in Korea as the number of available satellites increases. The customer requests must meet their due dates under several complicating conditions, such as memory capacity limits, weather conditions, role tilts and segment conflict resolutions. In this paper, we address this problem by presenting a mixed-integer program model and propose an investigative solution approach that handles millions of segment conflict resolution constraints. The proposed approach would reduce the model size to improve its solvability by utilizing a new redundancy checking pre-processing technique.