LMI characterizations of positive realness and static output feedback positive real control of discrete-time systems | IEEE Conference Publication | IEEE Xplore