Trajectory · Formální kompendium rev. 4.1
Stavové prostory, časová sémantika a meze předvídatelnosti
Formalizační větev Trajectory & Intercept Lab sjednocuje terminologii, opravuje dřívější zjednodušení a odlišuje geometrickou možnost od kauzální dosažitelnosti.
Formalizační větev, nikoli náhrada laboratoře
Kompendium řadí různé pohybové režimy pomocí společného slovníku teorie řízení. Didaktická souvislost nenahrazuje jednotlivé fyzikální předpoklady ani jejich samostatné ověření. Revize dokumentu a implementované vydání zůstávají odlišnými úrovněmi doložení.
Časový řez není časový interval
Fixed-Time Reachable Set popisuje stavy dosažitelné v určitém okamžiku. Reach-Tube sdružuje takové množiny v intervalu. Čas podmínění, vyhodnocení a koncový čas se musí explicitně rozlišovat.
Stavový prostor není pohled na mapu
Prostorová projekce zahazuje stavové dimenze, jako jsou rychlost nebo energie. Opakovaný prostorový překryv proto neznamená, že úplný dynamický stav zůstává nezměněný. Tvar a rozsah jsou vždy svázány s příslušnými modelovými předpoklady.
Omezení automaticky nemění dynamiku
Zúžení prostoru přípustných koncových stavů automaticky nemění řiditelný systém na pasivní balistický systém. Omezení zužují množinu řešení; nenahrazují pohybové rovnice, které tato řešení vytvářejí.
Možnost, kauzalita a nejistota
Geometrický překryv, časová kompatibilita, zpětně vyhovující trajektorie a robustní kauzální strategie jsou odlišná tvrzení. Ani reálné pozorování automaticky neposkytuje úplnou znalost budoucích vstupů. Pravděpodobnosti vyžadují samostatný stochastický model.
Zdokumentované opravy a otevřené hranice
Revize mimo jiné upřesňuje časové indexy, prostorové projekce a rozlišení mezi energetickými omezeními a zachováním energie. Otevřenými body zůstávají například úplné formulace dynamiky, modely pozorování, poruchy větrem a úplné řešení diferenciální hry. Shrnutí nedokazuje, že všechny změny byly implementovány ve zmrazené prohlížečové laboratoři.