A linear time algorithm to verify strong structural controllability

Alexander Weber, Gunther Reissig, Ferdinand Svaricek

We prove that strong structural controllability of a pair of structural matrices $(\mathcal{A},\mathcal{B})$ can be verified in time linear in $n+r+\nu$, where $\mathcal{A}$ is s…