TY - RPRT TI - Distributed Verification of Structural Controllability for Linear Time-Invariant Systems AU - Joao Carvalho AU - Sergio Pequito AU - A. Pedro Aguiar AU - Soummya Kar AU - Karl H. Johansson PY - 2015 UR - https://arxiv.org/abs/1506.05770 ID - 1506.05770 ER -