Abstract-We prove that strong structural controllability of a pair of structural matrices (A, B) can be verified in time linear in n + r + ν, where A is square, n and r denote the number of columns of A and B, respectively, and ν is the number of nonzero entries in (A, B) . We also present an algorithm realizing this bound, which depends on a recent, high-level method to verify strong structural controllability and uses sparse matrix data structures. Linear time complexity is actually achieved by separately storing both the structural matrix (A, B) and its transpose, linking the two data structures through a third one, and a novel, efficient scheme to update all the data during the computations. We illustrate the performance of our algorithm using systems of various sizes and sparsity.
In REF , an algorithm with a run time linear in the number of nodes and edges was presented to verify whether a system is strong structurally controllable.
A linear time algorithm to verify strong structural controllability
Proc. 53rd IEEE Conf. Decision and Control (CDC), Los Angeles, California, USA on December 15-17, 2014, pp. 5574-5580
Mathematics Computer Science