Self-optimizing invariants in dynamic optimization

In optimal control, the input trajectories are often solved numerically or analytically. This requires that all variables which enter the optimality conditions are known or measured. We use techniques from polynomial elimination theory to eliminate variables which are not known from the optimality conditions. The result is an expression of the optimality conditions in known variables only, which can easily be evaluated and controlled by feedback.