Systems theory; control Theorem
Kalman rank condition
Builds on Control systemControllabilityRank of a matrixMatrix exponentialCayley–Hamilton theoremObservability
Statement
Let , let be a real matrix and let be a real matrix. Consider the linear control system with control set . The system is controllable if and only if the matrix has rank . In that case every state can be steered to every other state in any prescribed time .
Remarks
The proof uses the controllability Gramian , built from the matrix exponential. A vector lies in the kernel of exactly when for all , and by Taylor expansion and the Cayley–Hamilton theorem this holds exactly when for . So is invertible if and only if . If is invertible, the control steers to in time . If , every trajectory from stays in the column space of , so the states outside it are not reachable from . Example: for the double integrator, and give , of rank , so the system is controllable.
Going deeper
For a student
The condition is purely algebraic and easy to check by hand or by computer. By duality, the system , is observable if and only if the matrix with block rows has rank . This is the Kalman condition for the pair . When the condition fails, a linear change of coordinates splits the state into a controllable part and a part on which the control has no effect. Controllability of is also equivalent to the possibility of placing the eigenvalues of anywhere, symmetric under complex conjugation, by a choice of the feedback matrix .
Reading path
To understand this page from the ground up, read these 18 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Control system concept
- Controllability concept
- Identity matrix object
- Matrix definition
- Matrix exponential concept
- Observability concept
- Rank of a matrix concept
- Vector space definition
- Square matrix definition
- Linear map definition
- Endomorphism definition
- Multilinear map definition
- Polynomial of an endomorphism definition
- Alternating multilinear map definition
- Determinant definition
- Characteristic polynomial definition
- Cayley–Hamilton theorem statement
- Kalman rank condition statement
Further reading
About this page
| Tag | 9NSCZ2KBEB |
|---|---|
| URI | m2://9NSCZ2KBEB |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 93B05, 93C05 |
| Status | This copy of the site has no build data. Run m2 status 9NSCZ2KBEB. |
| About | Controllability |
| Uses | Control system, Controllability, Rank of a matrix, Matrix exponential, Cayley–Hamilton theorem, Observability |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.