publication venue for Reduced-order nonlinear discrete-time observer design using functional equations 2002