Brunovsky equivalence of system matrices: The reachable case

The module-theoretic characterization of Brunovsky equivalence is extended from reachable pairs (
A, B
) to reachable system matrices
\left(\matrix{P&-Q\crV&W}\right).
The transformations of strict system equivalence are generalized to polynomial Brunovsky transformations relating Brunovsky equivalent system matrices.