NLSC Lecture Notes 2016 Sufficient Conditions Chapter
NLSC Lecture Notes 2016 Sufficient Conditions Chapter
NLSC Lecture Notes 2016 Sufficient Conditions Chapter
−1 ≤ u(t) ≤ 1 ∀t ≥ 0.
Now
H(x, u, λ) = 1 + λ1 x2 + λ2 u.
We notice that ∂H
∂u
= λ2 , i.e. ∂H
∂u
does not depend on u and thus the extremum
is to be reached at the boundaries, i.e. u∗ (t) = ±1, ∀t ≥ 0. Using
we see that
u∗ (t) = −sign(λ2 (t)).
Figure 8.4 depicts the result of deploying this control. Note that the control
law is discontinuous. Further, we observe that the system now needs less
time to reach the origin than in the previous ”Minimal Energy” example.
Of course, this ”success” is obtained at the cost of deploying more actuator
energy.
∂ 2H ∗ ∗ ∗
(x , u , λ ) > 0
∂u2
is sufficient for the optimality of u∗ .
Figure 8.4: Trajectories for Minimal Time Case. Arrival time T ≈ 13.
∂ 2H ∗ ∗ ∗
H(x∗ , u, λ∗ ) ≈ H(x∗ , u∗ , λ∗ ) + (u − u∗ ) (x , u , λ )(u − u∗ )
∂u2
≥ H(x∗ , u∗ , λ∗ )
Theorem 8.14 (Sufficiency Conditions II) Let u*(t), and the correspond-
ing x∗ (t) and λ∗ (t) satisfy the minimum principle necessary condition for all
t ∈ [0, T ]. Then, u∗ is an optimal control if H(x, u∗ , λ) is convex in x and
φ(x) is convex in x.
Proof: We want to prove that
J(x0 , u) − J(x0 , u∗ ) ≥ 0,
where x satisfies Equation (8.1). Now u∗ = arg min H and the convexity of
H give us
H(x, u, λ) ≥ H(x, u∗ , λ)
∗ ∗ ∂H
≥ H(x , u , λ) + (x − x∗ )
∂x x∗ ,u∗ ,λ
Or equivalently
Or
Integrating, and using both the transversality condition and the fact that all
trajectories have the same initial condition x = x0 , we observe that
T
[L(x, u) − L(x∗ , u∗ , λ)]dt = −λ(T )(x(T ) − x∗ (T )) + λ(0))(x∗ (0) − x(0))
0
∂φ
= − (x − x∗ )
∂x x∗
J(x0 , u) − J(x, u∗ ) = α ≥ 0,