Solver-basierte Zertifikate erklären Satellitenplanung präzise

Satellitenbetreiber, die Erdbeobachtungssatelliten steuern, benötigen klare Begründungen für ihre Planungsentscheidungen: Warum wurde ein Auftrag angenommen, abgelehnt oder welche Änderungen würden ihn zulässig machen? Traditionelle Ansätze bauen nachträgliche Erklärungs‑Schichten auf, die unabhängig vom Optimierer funktionieren. Das führt zu nicht kausalen Zuschreibungen, unvollständigen Kombinationen von Einschränkungen und einer Abhängigkeit vom Solver‑Pfad.

Die neue Methode setzt auf Glaubwürdigkeit von Anfang an: Jede Erklärung ist ein Zertifikat, das direkt aus dem Optimierungsmodell abgeleitet wird. Für abgelehnte Aufträge liefert sie minimale unzulässige Teilmengen, für angenommene Aufträge präzise Grenzbedingungen und kontrastive Trade‑Off‑Analysen, und für „Was-wäre-wenn“-Fragen nutzt sie inverse Solver‑Lösungen.

In einem Testfall mit stark unterschiedlichen Einschränkungsinteraktionen erreichten die Zertifikate eine perfekte Korrektheit gegenüber dem Solver‑Modell (15/15 geprüfte Einschränkungen), eine vollständige kontrafaktische Gültigkeit (7/7) und eine absolute Stabilität (Jaccard‑Index 1,0 über 28 Seed‑Paare). Im Vergleich dazu zeigte ein herkömmlicher Post‑hoc‑Ansatz in 29 % der Fälle nicht kausale Zuschreibungen und verfehlte bei jeder mehrfaktoriellen Ablehnung die korrekte Kombination von Einschränkungen.

Eine Skalierungsanalyse bis zu 200 Aufträgen und 30 Satelliten bestätigt, dass die Zertifikate auch für betriebliche Stapel in akzeptablen Zeitrahmen extrahiert werden können. Diese Fortschritte bringen die Erklärbarkeit von Mission‑Planungen auf ein neues Niveau und stärken das Vertrauen in automatisierte Entscheidungsprozesse.