Strict positive realness and the existence of diagonal Lyapunov functions | IEEE Conference Publication | IEEE Xplore