Self-optimizing invariants in dynamic optimization | IEEE Conference Publication | IEEE Xplore