Symbolic integration and autonomous state estimation: Building blocks for an intelligent power grid | IEEE Conference Publication | IEEE Xplore