A Quotient Subspace Algorithm for Testing Controllability and Computing Brunovsky's Outputs