HardFlow: MIT-Verfahren lässt Roboter-KI harte Vorgaben einhalten

Plant ein Roboter seinen Weg über eine belebte Fabrikhalle, gibt es keine Teilnote. Eine „beinahe korrekte“ Route kann immer noch zur Kollision mit einem Menschen führen. Genau hier liegt das Problem heutiger generativer KI-Modelle: Sie liefern Ergebnisse, die den Anforderungen nahekommen – nicht solche, die sie garantiert erfüllen. 

Forscher am Massachusetts Institute of Technology haben nun ein Verfahren entwickelt, mit dem generative Modelle sogenannte harte Nebenbedingungen einhalten können – Sicherheitsregeln, physikalische Gesetze oder aufgabenspezifische Anforderungen, die nicht verletzt werden dürfen. Der Algorithmus heißt HardFlow und ist in der Fachzeitschrift IEEE Transactions on Pattern Analysis and Machine Intelligence erschienen. 

Warum „fast richtig“ nicht genügt

Vortrainierte generative Modelle wie Diffusionsmodelle (etwa Stable Diffusion) oder Flow-Matching-Modelle (etwa FLUX) erzeugen neue Daten, indem sie zufälliges Rauschen schrittweise in ein Ergebnis überführen. In vielen Anwendungen genügt es, wenn das Resultat ungefähr passt. In sicherheitskritischen Szenarien genügt es nicht. 

Bisher wird in solchen Fällen häufig auf projektionsbasiertes Sampling zurückgegriffen. Dabei werden die Zwischenergebnisse des Modells während des gesamten Generierungsprozesses wiederholt auf die Vorgaben zurückgezwungen. Das hat zwei Nachteile: Die durchgehende Einschränkung kann das Modell daran hindern, eine bessere Endlösung zu finden. Und die Verfahren konzentrieren sich meist ausschließlich auf die Einhaltung der Vorgaben, ohne weitere Qualitätskriterien – etwa eine möglichst kurze Roboter-Trajektorie – zu berücksichtigen. 

Freiheit im Prozess, Kontrolle beim Ergebnis

Der zentrale Kniff von HardFlow: Die harten Nebenbedingungen werden nicht in jedem Zwischenschritt erzwungen, sondern nur beim finalen Output. Da die internen Zwischenschritte ohnehin verworfen werden, zählt für die Einhaltung der Vorgaben allein das Endergebnis. Das Modell erhält dadurch während der Generierung mehr Spielraum, um hochwertige Lösungen zu finden, die am Ende dennoch zulässig sind. 

Technisch formulieren die Forscher das Problem als Trajektorienoptimierung und greifen dabei auf Methoden der optimalen Steuerung zurück. So lässt sich der Sampling-Prozess gezielt in Richtung eines Ziels lenken, mit kleinen Korrekturen entlang des Weges. Weil eine solche Optimierung um ein neuronales Netz mit Hunderten Schichten rechnerisch aufwendig ist, zerlegt das Team das Problem unter Ausnutzung der Struktur von Flow-Matching-Modellen in eine Abfolge kleinerer Einzelschritt-Probleme. Durch weitere Transformationen und Näherungen entsteht ein Algorithmus, der zur Laufzeit effizient arbeitet. 

Die Formulierung als Optimierungsproblem erlaubt es zudem, zusätzliche Ziele einzubeziehen. HardFlow kann für einen Roboter nicht nur einen kollisionsfreien Pfad finden, sondern zugleich den kürzesten Weg zum Ziel. 

Ergebnisse aus Robotik, Navigation und Bildbearbeitung

In Experimenten zu Robotermanipulation, Labyrinth-Navigation und textgesteuerter Bildbearbeitung hielt HardFlow die geforderten Nebenbedingungen durchgehend ein und lieferte dabei bessere Lösungen als bestehende Vergleichsverfahren. Ein Roboterarm konnte etwa Hindernissen ausweichen und zugleich den schnellsten Weg zum Zielobjekt finden – bei den meisten anderen Methoden kam es entweder zu Kollisionen oder zu Wegen, die deutlich mehr Zeit beanspruchten. Die Rechenzeit lag auf dem Niveau der Konkurrenzverfahren oder darunter. 

Entwickelt wurde das Verfahren von Zeyang Li und Kaveh Alim, beide Doktoranden am MIT, gemeinsam mit Seniorautor Navid Azizan, Professor am Department of Mechanical Engineering und am Institute for Data, Systems, and Society. Künftig könnten die Forscher den Ansatz auf Szenarien erweitern, in denen auch das KI-Modell selbst angepasst werden kann. 

Was das praktisch bedeutet

Der eigentliche Hebel steckt in einem Detail, das leicht überlesen wird: HardFlow arbeitet zur Einsatzzeit und lässt sich auf bereits vortrainierte Modelle anwenden, ohne sie neu zu trainieren. Wer heute ein Flow-Matching-Modell für Bewegungsplanung einsetzt, müsste es also nicht ersetzen, sondern bekäme die Garantie obendrauf. 

Offen bleibt, wie weit die Zusage trägt. Die berichteten Ergebnisse stammen aus Benchmark-Aufgaben, die Robotikversuche liefen in der Simulation; ob die Einhaltung auch dann zuverlässig bleibt, wenn Sensordaten verrauscht sind und sich die Umgebung während der Planung verändert, zeigt erst der Einsatz außerhalb des Labors. Und „Rechenzeit auf dem Niveau der Konkurrenz“ ist keine Aussage über Echtzeitfähigkeit: Ob ein Roboterarm damit in der Taktzeit einer echten Fertigungslinie bleibt, geht aus der Veröffentlichung nicht hervor. 

Die Richtung ist dennoch bemerkenswert. Die Robotik diskutiert seit Jahren, wie sich lernende Systeme mit klassischen Sicherheitsgarantien verbinden lassen. HardFlow deutet an, wie das gelingen könnte. 

Wie schwer sich KI-gesteuerte Roboterhände mit der realen Welt tun, zeigt auch unser Beitrag über den Tastsinn als nächstes Datenrennen der Robotik; einen anderen Weg zum selben Ziel beschreibt unser Artikel über Simulation als Trainingsquelle für Fingerfertigkeit. 

Quellen

Alle Angaben in diesem Artikel wurden am 14. September 2026 geprüft. 

• MIT News: New method enables AI for safety-critical situations (14.09.2026) – Meldung zur Veröffentlichung mit Einordnung der Forscher 

• Li, Z., Alim, K., Azizan, N.: HardFlow – Hard-Constrained Sampling for Flow-Matching Models via Trajectory Optimization, IEEE Transactions on Pattern Analysis and Machine Intelligence, Bd. 48, Nr. 10 (Oktober 2026)