Trajectory · Formal Compendium Rev. 4.1
Zustandsräume, Zeitsemantik und Grenzen der Vorhersagbarkeit
Der Formalisierungszweig des Trajectory & Intercept Lab konsolidiert Begriffe, korrigiert frühere Vereinfachungen und trennt geometrische Möglichkeit von kausaler Erreichbarkeit.
Ein Formalisierungszweig, kein Ersatz des Labs
Das Kompendium ordnet unterschiedliche Bewegungsregime mit einem gemeinsamen kontrolltheoretischen Vokabular ein. Der didaktische Zusammenhang ersetzt weder die einzelnen physikalischen Annahmen noch ihre getrennte Prüfung. Dokumentrevision und implementierter Release bleiben eigenständige Nachweisstände.
Zeitscheibe ist nicht Zeitintervall
Eine Fixed-Time Reachable Set beschreibt erreichbare Zustände zu einem bestimmten Zeitpunkt. Eine Reach-Tube fasst solche Mengen über ein Intervall zusammen. Konditionierungszeit, Auswertungszeit und Endzeit müssen explizit auseinandergehalten werden.
Zustandsraum ist nicht Kartenansicht
Eine räumliche Projektion verwirft Zustandsdimensionen wie Geschwindigkeit oder Energie. Wiederholte räumliche Überdeckung bedeutet deshalb nicht, dass der vollständige dynamische Zustand unverändert bleibt. Form und Ausdehnung sind stets an die jeweilige Modellannahme gebunden.
Constraints ändern nicht automatisch die Dynamik
Ein engerer zulässiger Endzustandsraum macht ein steuerbares System nicht automatisch zu einem passiven ballistischen System. Constraints schränken Lösungen ein; sie ersetzen nicht die Bewegungsgleichungen, die diese Lösungen erzeugen.
Möglichkeit, Kausalität und Unsicherheit
Eine geometrische Überlappung, zeitgleiche Kompatibilität, eine nachträglich passende Entwicklung und eine robuste kausale Strategie sind verschiedene Aussagen. Eine reale Beobachtung bietet zudem nicht automatisch vollständige Kenntnis künftiger Eingaben. Wahrscheinlichkeit benötigt ein eigenes stochastisches Modell.
Dokumentierte Korrekturen und offene Grenzen
Die Revision präzisiert unter anderem Zeitindizes, räumliche Projektionen und die Trennung von Energiebegrenzung und Energieerhaltung. Offene Punkte bleiben etwa vollständige Dynamikformulierungen, Beobachtungsmodelle, Windstörungen und eine vollständige Differentialspiel-Lösung. Diese Zusammenfassung ist kein Nachweis, dass alle Punkte im eingefrorenen Browser-Lab umgesetzt sind.