A Lyapunov equation based mapping approach to achieve controller integrity | IEEE Conference Publication | IEEE Xplore