Semelhantemente á verificação de controlabilidade, os autovalores correspondentes a cada bloco de Jordan tem que ser distintos e os componentes do vetor c (sistema monovariável) que correspondem à primeira coluna de cada bloco tem que ser diferentes de zero para que o sistema seja observável.

Exemplo:

Pelo diagrama fica claro que não se pode inferir nada a respeito de x₁ através da saída y.