Target sequencing is an important aspect of agile Earth-observing satellite scheduling. The objective of the problem is to find a feasible imaging sequence that maximizes the cumulative value of unique heterogeneously valued requests; no expendable resource constraints (power and data storage) are considered. Two challenges are encountered: transition times between targets are dictated by dynamics of an arbitrary controller, and the solution space is combinatorial with respect to request count. To find dynamically accurate time-dependent attitude maneuver transition times, a neural network is trained on simulated slew data; this allows for the generation of more physically accurate, and thus better performing, schedules than when using the traditional approach of lower-order models for slew feasibility. Next, slews between requests are represented by a sparsified graph, and a mixed-integer linear program is formulated to solve them; the sparse formulation keeps the problem tractable over longer planning horizons and larger numbers of requests when compared to the standard approach. The solutions are optimal up to the quality of the transition time estimator and a time discretization. Finally, the solutions are verified in a high-fidelity simulation, demonstrating validity when deployed on a lifelike system. Time-dependent request values and multiple satellites are also considered.
Read full abstract