Stability proof of nominal MPC with terminal cost and constraint

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












While going trough these slides, I wasn't able to make sense of the following on slide 32: (if only providing the url to the slides is not ok I will edit the question, but doing it like that saves a lot of time)



Why does the fact that $V_f$ is a Lyapunov function result in
$$V_f(tildex_N+1) − V_f(x_N) + l(x_N, κ_f(x_N))leq 0?$$










share|cite|improve this question





















  • Can you add a summary, because slide 32 alone does not give any context for the mentioned variables.
    – Kwin van der Veen
    Sep 3 at 12:43














up vote
1
down vote

favorite












While going trough these slides, I wasn't able to make sense of the following on slide 32: (if only providing the url to the slides is not ok I will edit the question, but doing it like that saves a lot of time)



Why does the fact that $V_f$ is a Lyapunov function result in
$$V_f(tildex_N+1) − V_f(x_N) + l(x_N, κ_f(x_N))leq 0?$$










share|cite|improve this question





















  • Can you add a summary, because slide 32 alone does not give any context for the mentioned variables.
    – Kwin van der Veen
    Sep 3 at 12:43












up vote
1
down vote

favorite









up vote
1
down vote

favorite











While going trough these slides, I wasn't able to make sense of the following on slide 32: (if only providing the url to the slides is not ok I will edit the question, but doing it like that saves a lot of time)



Why does the fact that $V_f$ is a Lyapunov function result in
$$V_f(tildex_N+1) − V_f(x_N) + l(x_N, κ_f(x_N))leq 0?$$










share|cite|improve this question













While going trough these slides, I wasn't able to make sense of the following on slide 32: (if only providing the url to the slides is not ok I will edit the question, but doing it like that saves a lot of time)



Why does the fact that $V_f$ is a Lyapunov function result in
$$V_f(tildex_N+1) − V_f(x_N) + l(x_N, κ_f(x_N))leq 0?$$







control-theory optimal-control stability-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 3 at 11:50









VGD

678




678











  • Can you add a summary, because slide 32 alone does not give any context for the mentioned variables.
    – Kwin van der Veen
    Sep 3 at 12:43
















  • Can you add a summary, because slide 32 alone does not give any context for the mentioned variables.
    – Kwin van der Veen
    Sep 3 at 12:43















Can you add a summary, because slide 32 alone does not give any context for the mentioned variables.
– Kwin van der Veen
Sep 3 at 12:43




Can you add a summary, because slide 32 alone does not give any context for the mentioned variables.
– Kwin van der Veen
Sep 3 at 12:43










1 Answer
1






active

oldest

votes

















up vote
1
down vote



accepted










This is simply assumption 3 on slide 29. In practice, this assumption can be ensured via suitable choice/design of the terminal cost and the terminal set.






share|cite|improve this answer




















  • you're right - cannot believe I missed that!
    – VGD
    Sep 6 at 8:44










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2903786%2fstability-proof-of-nominal-mpc-with-terminal-cost-and-constraint%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
1
down vote



accepted










This is simply assumption 3 on slide 29. In practice, this assumption can be ensured via suitable choice/design of the terminal cost and the terminal set.






share|cite|improve this answer




















  • you're right - cannot believe I missed that!
    – VGD
    Sep 6 at 8:44














up vote
1
down vote



accepted










This is simply assumption 3 on slide 29. In practice, this assumption can be ensured via suitable choice/design of the terminal cost and the terminal set.






share|cite|improve this answer




















  • you're right - cannot believe I missed that!
    – VGD
    Sep 6 at 8:44












up vote
1
down vote



accepted







up vote
1
down vote



accepted






This is simply assumption 3 on slide 29. In practice, this assumption can be ensured via suitable choice/design of the terminal cost and the terminal set.






share|cite|improve this answer












This is simply assumption 3 on slide 29. In practice, this assumption can be ensured via suitable choice/design of the terminal cost and the terminal set.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Sep 3 at 17:03









Nukular

15518




15518











  • you're right - cannot believe I missed that!
    – VGD
    Sep 6 at 8:44
















  • you're right - cannot believe I missed that!
    – VGD
    Sep 6 at 8:44















you're right - cannot believe I missed that!
– VGD
Sep 6 at 8:44




you're right - cannot believe I missed that!
– VGD
Sep 6 at 8:44

















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2903786%2fstability-proof-of-nominal-mpc-with-terminal-cost-and-constraint%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Mutual Information Always Non-negative

Why am i infinitely getting the same tweet with the Twitter Search API?