A discrete-time strong implication-form Lyapunov function for ISS systems with respect to positive semidefinite measurement functions

- Tran, Duc N.; Kellett, Christopher M.; Dower, Peter M.