Algebraic theory of linear time-invariant feedback systems with two-input two-output plant and compensator