Advanced Control Methods 2024. Lecture 9. Stabilization via model-predictive control, Stability proof
