The exact model-matching problem for linear time-varying systems: an algebraic approach

The exact model-matching problem is formulated and solved for linear time-varying systems. The condition for the existence of a proper solution, which is well known in the time-invariant case, is proven here to still be valid in the time-varying case. The properness is characterized using the Smith-MacMillan form at infinity, recently defined by the authors for the transfer matrices with time-varying coefficients.