Guaranteed state estimation of synchronous generators based on DC programming | IEEE Conference Publication | IEEE Xplore