Technisches Resümee: RAPT – Modellprädiktive Out-of-Distribution-Erkennung und Fehlerdiagnose für den Sim-to-Real-Einsatz von Humanoiden
Problemstellung
Der Einsatz gelernter Steuerungs-Policies für humanoide Roboter beim Transfer von der Simulation in die Realität (Sim-to-Real) birgt erhebliche Risiken. Policies, die in der Simulation robust erscheinen, können bei der Implementierung durch unmodellierte Dynamiken, Sensorrauschen, Latenz, Laständerungen, Geländevariationen oder Implementierungsfehler in Out-of-Distribution (OOD)-Zustände geraten. Diese OOD-Ereignisse können zu „stillen Ausfällen“, Stürzen, Selbstkollisionen oder Hardwarebeschädigungen führen.
Bestehende Methoden zur Anomalieerkennung erfüllen oft nicht die spezifischen Anforderungen hochfrequenter humanoider Steuerung (50 Hz):
- Rechenaufwand: Unsicherheits- und Ensemble-Methoden sind oft zu teuer für Echtzeit-Regelkreise.
- Kalibrierungsprobleme: Generative Modelle (z. B. LSTM-VAEs) können unter Likelihood-Fehlkalibrierung und Input-Komplexitäts-Bias leiden.
- Mangelnde Interpretierbarkeit: Viele Ansätze liefern lediglich ein binäres Stopp-Signal, bieten aber keine Einsicht darüber, wann, wo oder warum die Ausführung vom nominalen Verhalten abwich.
- Zustandskopplung: Generische Zeitreihenmethoden behandeln propriozeptive Kanäle oft als unabhängige Signale statt als gekoppelte Roboterzustände.
Methodik
Das Paper stellt RAPT (Recurrent Anomaly Probabilistic Trajectory Model) vor, ein leichtgewichtiges, selbstüberwachtes Monitoring-System, das parallel zu einer vortrainierten Steuerungs-Policy läuft. RAPT operiert in vier Stufen:
1. Nominale Datenerhebung
RAPT sammelt nominale propriozeptive Trajektorien von Experten-Policies, die in einer groß angelegten Simulation (NVIDIA Isaac Lab) ausgeführt wurden. Diese Trajektorien definieren die „nominale Verhaltensmanifold“, die das System während des Einsatzes bewahren muss. Die Beobachtungen werden vor dem Training normalisiert.
2. Probabilistisches rekurrentes Trajektorienmodell
RAPT wird als selbstüberwachtes rekurrentes Rekonstruktionsmodell trainiert. Die Architektur umfasst:
- Residual State Encoder: Verarbeitet die Beobachtungshistorie.
- GRU-basierte Temporal Bridge: Erfasst zeitliche Abhängigkeiten.
- Latent Bottleneck: Komprimiert die Zustandsrepräsentation.
- Probabilistischer Decoder: Gibt eine diagonale Gaußsche Rekonstruktionsverteilung [μt,logσt2] aus.
Das Modell minimiert die Negative Log-Likelihood (NLL) der nominalen Beobachtungen. Diese Formulierung erfasst heteroskedastische aleatorische Unsicherheit, wodurch Dimensionen mit natürlicherweise höherer Variabilität größere prädiktive Varianzen erhalten, während Abweichungen in konsistenten Dimensionen stärker bestraft werden. Für Aufgaben der Geschwindigkeitsverfolgung wird eine Forward-Dynamics-Variante (Bedingung auf ot−1,at−1 zur Vorhersage von ot) verwendet; andernfalls wird die reine Rekonstruktion bevorzugt.
3. Simulations-trainierte, Deployment-kalibrierte OOD-Erkennung
Bei der Implementierung evaluiert RAPT die prädiktiven Abweichungen pro Dimension. Um die Sim-to-Real-Lücke zu handhaben, unterstützt RAPT zwei Kalibrierungsmodi:
- Simulations-Kalibrierung: Misst Abweichungen von der simulations-trainierten Verteilung, wodurch verbleibende Sim-to-Real-Mismatches sichtbar werden.
- Realwelt-Kalibrierung: Nutzt einen kurzen, verifizierten nominalen Durchlauf, um sich an statische Offsets (Sensorrauschen, Latenz, Hardware-Dynamik) anzupassen, was die Erkennung neuer OOD-Ereignisse relativ zur spezifischen Hardware ermöglicht.
Die Erkennung nutzt einen hierarchischen Gating-Mechanismus:
- Lokales Gate: Erkennt ungewöhnlich große Abweichungen pro Dimension (ℓt,i>τmax+5σi).
- Globales Gate: Erkennt breite Verschiebungen in der mittleren prädiktiven Abweichung (ℓˉt>τglobal+3σglobal).
- Hybrider Sicherheitsbereich: Optional kombiniert mit einem deterministischen Bereichsdetektor. Die endgültige Anomalieentscheidung ist das logische ODER aus lokalen, globalen und Bereichs-Gates.
4. Fehlerlokalisierung und -diagnose
- Temporale Salienz: Bei einer Anomalieerkennung berechnet RAPT die Gradienten der finalen NLL bezüglich eines Historien-Fensters mittels Integrated Gradients durch das rekurrenten Modell. Dies erzeugt eine spatio-temporale Attributionskarte, die hervorhebt, wann und welche propriozeptiven Kanäle zuerst vom nominalen Verhalten abgewichen sind.
- Semantische Diagnose: Ein multimodales Large Language Model (LLM) erhält strukturierte Evidenz (temporale Salienz-Zusammenfassungen, kinematische Trajektorien, Aufgabenkontext, visuelle Keyframes), um eine Zero-Shot-Klassifizierung der Fehlerursachen (z. B. Kollisionen, Sensorfehler, Geländeänderungen) durchzuführen, ohne dass während des Detektortrainings gelabelte Fehlerdaten erforderlich sind.
Zentrale Beiträge
- Simulations-trainierte, Deployment-kalibrierte Überwachung: RAPT lernt aus groß angelegter Simulation und kalibriert Schwellenwerte entweder über die Simulation oder kurze Realwelt-Daten, was sowohl das Debugging als auch die Hardware-Zeit-OOD-Erkennung unterstützt.
- Low-FPR OOD-Erkennung für High-DOF Humanoide: Durch die Verwendung von probabilistischer prädiktiver Abweichungsmodellierung mit kalibrierten pro-Dimension- und globalen Gates übertrifft RAPT hochfrequenz-kompatible Baselines unter strengen False-Positive-Beschränkungen.
- Lokalisierte Evidenz für die Fehlerdiagnose: Das System generiert pro-Dimension NLL-Signale und temporale Salienz, was eine post-hoc semantische Diagnose von Fehlermodi ermöglicht, ohne gelabelte Fehlerdaten zu benötigen.
Experimentelle Ergebnisse
Die Autoren validierten RAPT an einem Unitree G1 sowohl in NVIDIA Isaac Lab als auch auf physischer Hardware.
- Simulations-Leistung: Über vier Aufgaben (Geschwindigkeitsverfolgung, Bewegungsnachahmung, ballistisches Werfen) und 15 OOD-Kategorien hinweg verbesserte RAPT die True Positive Rate (TPR) im Vergleich zur stärksten Baseline um 37 % bei einer Episode-Level False Positive Rate (FPR) von 0,5 %.
- Hardware-Leistung: Auf einem physischen Unitree G1 über 78 Versuche hinweg erreichte RAPT eine TPR von 89 % mit weniger False Positives als hochfrequenz-kompatible Baselines.
- Diagnosegenauigkeit: Auf einem anspruchsvollen OOD-Subset erreichte RAPT eine semantische Fehlerdiagnose-Genauigkeit von 75 % über 21 Fehlerkategorien hinweg unter Verwendung des Zero-Shot-LLM-Ansatzes.
- Latenz: Die Monitoring-Pipeline arbeitet mit etwa 1,6 ms, was mit 50 Hz Regelkreisen kompatibel ist.
Bedeutung und Ansprüche
Das Paper positioniert RAPT nicht als Ersatz für Domain Randomization oder Systemidentifikation, sondern als ergänzende Ebene, die den Rest-Mismatch und unvorhergesehene OOD-Ereignisse überwacht, die nach dem Transfer bestehen bleiben.
- Sicherheit & Debugging: RAPT bietet ein beobachtbares Deployment-Zeit-Signal für die Sicherheitsüberwachung und das Debugging, ohne die zugrunde liegende Steuerung zu modifizieren. Es löst bei OOD-Erkennung vordefinierte Sicherheitsreaktionen aus (z. B. sicherer Stopp, kontrollierter Fall, Wiederherstellung).
- Interpretierbarkeit: Indem es über binäre Stopp-Signale hinaus zu lokalisierten, pro-Dimension-Evidenzen und semantischem Reasoning geht, adressiert RAPT die „Black Box“-Natur von Fehlern in gelernten Policies. Es ermöglicht Operatoren, zwischen externen Störungen, Aktuatordegradation und Sensorfehlern zu unterscheiden.
- Reproduzierbarkeit: Die Autoren verpflichten sich zur Veröffentlichung der Trainings-Pipeline, der gelabelten Realwelt-Datensätze und des C++ Deployment-Codes, um zukünftiges Benchmarking zu unterstützen.
Die Arbeit zeigt, dass ein leichtgewichtiges, selbstüberwachtes probabilistisches Modell effektiv die Lücke zwischen Simulation und Realität schließen kann, indem es sowohl unmittelbare Sicherheitsinterventionen als auch post-hoc diagnostische Einblicke für komplexe humanoide Systeme bietet.