13.07.2015 Views

MPEC Problem Formulations in Chemical Engineering Applications

MPEC Problem Formulations in Chemical Engineering Applications

MPEC Problem Formulations in Chemical Engineering Applications

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

6 Case StudiesFrom the results of Sections 3 and 4, we f<strong>in</strong>d that the penalty formulationperforms well, particularly with an active set solver such as CONOPT. With thisexam<strong>in</strong>ation of NLP reformulations for MPCC as well as a systematic strategyfor develop<strong>in</strong>g complementarity formulations, we now consider two large-scalecase studies that illustrate both of these concepts. The first considers discretedecisions <strong>in</strong> dynamic systems with the reformulation of the signum function,while the second considers the disappearance of phases <strong>in</strong> optimization modelsfor distillation.6.1 Dynamic Optimization with Direct TranscriptionThe goal of this case study is to demonstrate the NLP formulations <strong>in</strong> Section 3on an example with arbitrarily many complementarity conditions. The exampleproblem is derived from discretization of a differential <strong>in</strong>clusion (ẋ ∈ sgn(x)+2),where the derivative can be def<strong>in</strong>ed by a complementarity system [29]. While wedo not consider limit<strong>in</strong>g properties of the discretization, our numerical resultswill focus on how the solution time varies as a function of the problem size(controlled by the discretization strategy).The differential <strong>in</strong>clusion can be reformulated as the follow<strong>in</strong>g optimal controlproblem:∫ tendm<strong>in</strong> (x end − 5/3) 2 + x 2 · dt (47a)t 0s.t. ẋ = u + 2 (47b)x = s + − s −(47c)0 ≤ 1 − u ⊥ s + ≥ 0 (47d)0 ≤ u + 1 ⊥ s − ≥ 0 (47e)Apply<strong>in</strong>g the implicit Euler’s method with a fixed step size, the discretizedproblem becomes:NFE∑m<strong>in</strong> (x end − 5/3) 2 + h · x 2 ii=1(48a)s.t. ẋ i = u i + 2 i = 1, . . .,NFE (48b)x i = x i−1 + h · ẋ i i = 1, . . .,NFE (48c)x i = s + i− s − ii = 1, . . .,NFE (48d)0 ≤ 1 − u i ⊥ s + i ≥ 0 i = 1, . . .,NFE (48e)0 ≤ u i + 1 ⊥ s − i ≥ 0 i = 1, . . .,NFE (48f)The result<strong>in</strong>g discretized problem can be scaled up to be arbitrarily large by<strong>in</strong>creas<strong>in</strong>g the number of f<strong>in</strong>ite elements NFE, with a discrete decision <strong>in</strong> each20

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!