Searcharxiv⌕ Search

arXiv · 2610.23520

Earth Observation Satellite Scheduling Models: Taxonomy, Classification and Open Challenges

Abstract

Over the past three decades, a large number of optimization models have been proposed for Earth observation satellite (EOS) scheduling. The main goal of this paper is to provide an overview of these models and to relate them to the characteristics of the problems they address. To do so, we first identify the main features of EOS scheduling problems and those with the most impact on the computational complexity of the model. Based on these features, we propose a new taxonomy of satellite agility and a classification of EOS scheduling problems that allows the problem under study to be clearly identified. We then propose a classification of the optimization models into five categories, based on their time and event representations, and describe representative formulations of each category in a unified notation, together with their extensions, discussing the respective advantages and limitations. The trade-offs between the alternative representations are analyzed, showing that discrete-time formulations allow time-dependent parameters, such as transition times and image quality, to be pre-computed, which preserves the linearity of the model but makes its size depend on the adopted discretization, whereas continuous-time formulations treat these parameters as functions of the start times, which introduces nonlinearities unless simplifying assumptions are adopted. Finally, we identify the main open challenges, including the exact modeling of time-dependent transition times and the integrated scheduling of active imaging satellites.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Margarida Caleiras, Paulo Jorge Nascimento, Samuel Moniz. 2026-10-16. Earth Observation Satellite Scheduling Models: Taxonomy, Classification and Open Challenges. https://arxiv.org/abs/2610.23520

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Behavioral Model for Exploration vs. Exploitation: Theoretical Framework and Experimental Evidence

How do people navigate the exploration-exploitation (EE) trade-off when making repeated choices with unknown rewards? We study this question through the lens of multi-armed bandit problems and introduce a novel behavioral model, Quantal Choice with Adaptive Reduction of Exploration (QCARE). It generalizes Thompson Sampling, allowing for a principled way to quantify the EE trade-off and reflect human decision-making patterns. The model adaptively reduces exploration as information accumulates, with the reduction rate serving as a parameter to quantify the EE trade-off dynamics. We theoretically analyze how varying reduction rates influence decision quality, shedding light on the distinct effects of ``over-exploration'' and ``under-exploration.'' Empirically, we validate QCARE using behavioral data collected from human participants. QCARE not only captures critical behavioral patterns in the EE trade-off but also performs competitively with, and often outperforms, alternative models in out-of-sample prediction. Our analysis reveals a behavioral tendency toward over-exploration.

math.OC↗

Active-Set Identification in Noisy and Stochastic Optimization

Identifying active constraints from a point near a local minimizer is important both theoretically and practically in constrained continuous optimization as it can help identify optimal Lagrange multipliers and essentially reduce an inequality-constrained problem to an equality-constrained one. Traditional active-set identification guarantees have been proved under various types of constraint qualifications. Importantly, they also assume exact function and derivative values. This work extends such results to settings when both objective and constraint function and derivative values have deterministic or stochastic noise. Two strategies are analyzed. For each strategy, it is shown that, under constraint qualifications and other standard conditions, the active set of a local minimizer can be identified correctly when a point is close enough to the minimizer and the noise is sufficiently small. It is also shown that regularity of a minimizer is critical. Under strict complementarity, a fixed noise level suffices, whereas in the presence of a weakly active constraint the noise must vanish at least linearly in the distance to the minimizer in general, a rate that is also shown to be sufficient for correct identification. Guarantees are also stated for the use of active-set identification strategies within a stochastic algorithm, with explicit sample-size conditions. The theoretical findings are demonstrated with two simple illustrative examples and a more realistic constrained neural-network training task.

math.OC↗

Regularization in Data-driven Predictive Control: A Convex Relaxation Perspective

This paper explores the role of regularization in data-driven predictive control (DDPC) through the lens of convex relaxation. Using a bi-level optimization framework, we model system identification as an inner problem and predictive control as an outer problem. Within this framework, we show that several regularized DDPC formulations, including l1-norm penalties, projection-based regularizers, and a newly introduced causality-based regularizer, can be viewed as convex relaxations of their respective bi-level problems. This perspective clarifies the conceptual links between direct and indirect data-driven control and highlights how regularization implicitly enforces system identification. We further propose an optimality-based variant, A-DDPC, which approximately solves the inner problem with all identification constraints via an iterative algorithm. Numerical experiments demonstrate that A-DDPC outperforms existing regularized DDPC by reducing both bias and variance errors. These results indicate that further benefits may be obtained by applying system identification techniques to pre-process the trajectory library in nonlinear settings. Overall, our analysis contributes to a unified convex relaxation view of regularization in DDPC and sheds light on its strong empirical performance beyond linear time-invariant systems.

math.OC↗