A quotient subspace algorithm for testing controllability and computing Brunovsky's outputs

An algorithm is proposed for testing controllability and computing the Brunovsky output of a single input system. Rather than computing explicitly the controllability matrix, it operates by building successive images of the input matrix in specific quotient subspaces. The algorithm can be used to test controllability to a higher degree of numerical accuracy than standard controllability tests.