13.07.2015 Views

Assessment and Future Directions of Nonlinear Model Predictive ...

Assessment and Future Directions of Nonlinear Model Predictive ...

Assessment and Future Directions of Nonlinear Model Predictive ...

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.

550 D. DeHaan <strong>and</strong> M. Guay<strong>and</strong> the boundedness <strong>of</strong> the sets X, U, Θ <strong>and</strong> Ξ (which ensures that trajectoriesremain in a compact subset <strong>of</strong> S F ∪ S H ). Thus, z π asymptotically converge toM, the largest invariant subset <strong>of</strong> {z π | J ˙ = 0 under (12a)}∪{z π : J + − J =0 under (14) }. SinceH maps into the interior <strong>of</strong> S F (strictly away from S H ),zeno solutions are not possible. This implies M ⊂{z π | J ˙ =0}, <strong>and</strong> thus fromthe pro<strong>of</strong> <strong>of</strong> Lemma 2 it follows that M = { z π : (x, u φ ) ∈ Σ }. Feasibilityholds from Lemmas 2 <strong>and</strong> 3, while the last claim follows from Lemma 1 <strong>and</strong> thecompactness <strong>of</strong> X 0 .

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

Saved successfully!

Ooh no, something went wrong!