An Optimal Control Approach to Construction of Lyapunov Functions for Power System Models | IEEE Conference Publication | IEEE Xplore