3.5.32 · D5Guidance, Navigation & Control (GNC)
Question bank — Controllability matrix — rank test
Picture the ideas first
True or false — justify
Every reachable direction is some combination of the columns of .
True — the matrix exponential's power series collapses onto those blocks by the Cayley–Hamilton theorem, so nothing outside their span is ever reachable.
A controllable system must be stable.
False — controllability says you can move every mode; an unstable mode can still be controllable, which is exactly the case where feedback can rescue it.
For continuous-time , if then you can reach the target in any time , however small.
True — continuous-time controllability gives reachability for every positive (the price of a tiny is huge control effort, but it's still possible).
Adding more inputs (widening ) can never reduce controllability.
True — extra columns can only enlarge or preserve the column span of , so rank cannot drop; more actuators never lock a system.
A single-input system () can never be controllable when .
False — Example 1's double integrator has , and is controllable because mixes the one push into both directions.
If the system is uncontrollable for every .
True — with no actuator every block is the zero column, so ; you have nothing to push with.
Controllability of is unchanged if we replace by .
False in general — describes a different dynamics; swapping to the transpose is the recipe for observability (the dual), not controllability.
Two systems with the same up to invertible column operations have the same controllability verdict.
True — controllability is a rank statement, and rank is invariant under multiplying by invertible matrices, so the yes/no answer is preserved.
An uncontrollable system can still be stabilizable.
True — stabilizability only demands that the unstable modes be controllable; harmless (stable) uncontrollable modes are allowed, which is the whole point of Stabilizability.
The rank- test decides controllability for the discrete-time system too.
True — the same and the same rank condition apply; only the timing differs, since discrete-time reaches the target in at most steps rather than any .
Spot the error
" is , so I'll build to be safe."
The block is wasted — Cayley–Hamilton makes a combination of , so it adds no new direction; stop at .
", therefore controllable — I checked one square block."
For , is and not square, so "the determinant" is undefined; you must check , e.g. via row reduction, not a single determinant.
" has no zero entries, so the system is controllable."
A full guarantees nothing — controllability is about how rotates over powers; you must still compute the rank of (a full can still yield rank if the mixing is degenerate).
"Row 2 of is all zeros, so state is uncontrollable."
A zero row of in the raw coordinates does signal a lost direction, but you can't blindly blame the labelled state — after a change of coordinates the untouched direction may be a mixture of states; the rank tells you a mode is lost, not which physical variable.
"The system is unstable, so it can't be controllable."
Stability and controllability are independent; instability describes free evolution, controllability describes what inputs can do — an unstable system is often the one you most want to be controllable so you can place its poles.
"I found the rank is , so all poles will settle by themselves."
Rank means you can design feedback to move the poles anywhere; it says nothing about the open-loop poles, which may still sit in the unstable region until you actually close the loop.
"Discrete-time: rank is , so I can reach the target in a single step."
A single step only spans the columns of ; you generally need up to steps to build up , so claiming one step is the error — one step suffices only if alone already has rank .
Why questions
Why does the reachable set collapse onto only the powers through , not all infinitely many powers of ?
Because Cayley–Hamilton writes as a combination of ; every higher power recycles those same directions (see the second figure), so the span stops growing at .
Why is the target rank exactly and never more?
The state lives in , so its reachable span can be at most -dimensional; rank means the columns already fill the whole state space and there is nothing left to reach.
Why does a diagonal with a zero in the matching row of give an uncontrollable mode?
A diagonal never mixes modes, so a mode whose -entry is zero is pushed by no input and is never fed by neighbours — it drifts on its own forever, untouchable.
Why can the same be uncontrollable with one and controllable with another?
Controllability is a property of the pair ; changing where the actuator pushes (Example 3 vs Example 2) can make the push spread into a mode that 's mixing then propagates across the whole space.
Why do we care about controllability before doing pole placement?
Pole placement can only relocate poles that live in the controllable subspace; uncontrollable modes keep their original poles no matter the feedback gain.
Why is observability called the "dual" of controllability rather than a separate idea?
Because the observability test is the controllability test on the transposed system (, ); every theorem about one mirrors into the other by transposition.
Why does discrete-time controllability come with a "number of steps" while continuous-time comes with "any "?
A discrete system moves in finite jumps, so it can only span one more power of per step and needs up to steps; a continuous system flows through infinitely many intermediate instants, so it fills the reachable subspace in any positive time.
Edge cases
, , : controllable?
No — has rank ; with no actuator the single state cannot be moved regardless of .
, , with : controllable?
Yes — has rank ; a scalar system is controllable exactly when its lone input entry is nonzero.
(the zero matrix), : controllable?
Yes — already has rank from the block; every state has its own dedicated actuator, so no mixing is even needed.
, a single column: controllable when ?
No — are all zero, so has rank ; with no dynamics to spread one push, a single input can only reach one direction.
Two identical decoupled modes (same eigenvalue) each fed by the same scalar input through equal weights: controllable?
No — the input pushes both copies identically, so their difference direction is never touched; repeated eigenvalues with a single input generically leave a mode unreachable.
Discrete-time controllable system, : what is the fewest steps guaranteed to reach any target from rest?
At most steps — after steps you span , so steps guarantee the full span; fewer steps suffice only if the earlier blocks already reach rank .
A stable but uncontrollable system — is it useless?
Not necessarily — if the untouchable modes are stable they settle on their own, so the system is stabilizable and perfectly usable; you just cannot arbitrarily reshape those modes.
A purely marginal mode (eigenvalue exactly ) that is uncontrollable — problem?
Yes for stabilizability — a mode at zero neither decays nor can be fixed, so an uncontrollable marginal or unstable mode is exactly what breaks stabilizability.
Recall One-line self-test before you close the page
Say aloud: "Controllable means ====, it is about moving states not settling them, it depends on the pair , higher powers past add nothing by Cayley–Hamilton, and the same test works for both continuous- and discrete-time (discrete reaches in steps)." If any clause felt shaky, revisit that group above.
Connections
- Controllability matrix — rank test
- Observability matrix — rank test
- State-space representation
- Cayley–Hamilton theorem
- Pole placement & state feedback
- Kalman decomposition
- Matrix exponential $e^{At}$
- Stabilizability