Asymptotic exactness of parameter-dependent lyapunov functions: An error bound and exactness verification | IEEE Conference Publication | IEEE Xplore