Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization | IEEE Conference Publication | IEEE Xplore