Semi-batch process optimization under uncertainty: Theory and experiments