where
, this note states and proves necessary and sufficient conditions under which a)
is an estimate of a linear function of
(i.e.,
estimates
), or b) a linear function of
is an estimate of
(i.e.,
estimates
). The mapping
has been used previously by the authors to compute the estimator-controller form of a compensator whose state vector
had the same dimension as the plant state vector
.