Pointing and coverage guarantees for earth-observation satellites via predictive control | Synapse