MaRDI QIDQ6673781
matrix used in linear control problems to determine whether a system is observable