Validation of a solution model for the optimization of a binary batch distillation column

For the optimization of dynamic systems, it is customary to use measurements to combat the effect of uncertainty. In this context, an approach that consists of tracking the necessary conditions of optimality is gaining in popularity. The approach relies strongly on the ability to formulate an appropriate solution model, i.e. an approximate parameterization of the optimal inputs with a precise link to the necessary conditions of optimality. Hence, the capability of a solution model to optimize an uncertain process needs to be assessed. This paper introduces an optimality measure that can be used to verify the conjecture that the solution model derived from a simplified process model can be applied to a more rigorous process model with negligible performance penalty. This conjecture is tested in a simulation of the dynamic optimization of a batch distillation column.