Given a system on State Space Representation form where
We have:
Which has the following Observability Gramian:
Which is the exact same as the Controllability Gramian for the original system:
Link to original
Theorem of duality
Which means we can check the observability of the original system by checking the controllability of the dual system.