Analyzing convolutional encoders using realization theory

Using realization theory, we develop an efficient way of determining if a k×n polynomial matrix G(s) has coprime full size minors. This has the immediate application of determining whether a convolutional encoder is non-catastrophic. The approach is to easily find a realization for the behavior of G(s) and then compute the rank of the controllability matrix of the realized system