An Efficient Lyapunov Function for Discrete T–S Models: Observer Design | IEEE Journals & Magazine | IEEE Xplore