Interval observers for discrete-time systems

First, time-invariant interval observers are proposed for a family of nonlinear systems. Second, it is shown that, for any time-invariant exponentially stable discrete-time linear system with additive disturbances, time-varying exponentially stable discrete-time interval observers can be constructed. The result relies on the design of time-varying changes of coordinates which transform a linear system into a nonnegative linear system.