Consider a linear time-invariant system: \[ \begin{align*} \begin{split} \mathbf{\dot{x}} &= \mathbf{Ax+Bu} \\ \mathbf{y} &= \mathbf{Cx+Du} \end{split} \end{align*} \]
The discussion of controllability and observability is introduced from Kalman, []
\[ \mathbf{A}^n + a_{n-1}\mathbf{A}^{n-1} + \cdots + a_1\mathbf{A} + a_0\mathbf{I}_n = \mathbf{0}_n \]