Repository navigation

Prove controllable and observable component properties - #20

Open

dongxuelian2 wants to merge 6 commits into

AnandGokhale:mainfrom

dongxuelian2:codex/kalman-reachable-observable

Open

Prove controllable and observable component properties#20
dongxuelian2 wants to merge 6 commits into
AnandGokhale:mainfrom
dongxuelian2:codex/kalman-reachable-observable

Commits on Sep 26, 2026
- Formalize reachable restriction and observable quotient
  dongxuelian2
  committed
  93c84f0
Commits on Sep 28, 2026
Commits on Oct 10, 2026
- docs: cite exact Hespanha theorem numbers for component results
  dongxuelian2
  committed
  6251f41
Commits on Oct 23, 2026
- Merge upstream main and preserve observability proof organization
  dongxuelian2
  committed
  0ae493c