page=68 From LinSys: LinSys; Linear Quadratic Regulator - LQR


Does not work with inequality constraints, and is a recursive approach.

We want to minimize the LQR

Which yields (for finite horizon)

Where , , and , and the equation for is the Algebraic Ricatti Equation (?)


Proof

page=61 Solving the KKT (Karush–Kuhn–Tucker) Conditions

Link to original
Only the stationary and the primal feasibility is valid here (no ineq)

Stationary:

Solving the following set of equations

And we postulate (a “guess” in reality) that the Lagrange multipliers depend linearly on the states

Which gives .