control of nonlinear delay systems - miroslav...
TRANSCRIPT
![Page 1: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/1.jpg)
Control of Nonlinear Delay Systems
Miroslav Krstic Nikolaos Bekiaris-Liberis
University of California, San Diego
Tutorial Session
CDC 2012
![Page 2: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/2.jpg)
Applications of (Nonconstant) Delay (Nonlinear)Systems
• Control over networks
• Traffic control
• Cooling systems
• Teleoperation
• Milling Processes
• Population Dynamics
• Irrigation channels
• Supply networks
• Rolling mills
• Chemical process control
![Page 3: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/3.jpg)
Nonlinear Control of (Nonconstant) Delay Systems
X(t) = f (X (t−D1(t,X(t))) , U (t−D2(t,X(t))))
• D1(t,X(t)) = constant, D2(t,X(t)) = 0: Jankovic, Karafyllis, Mazenc,Pepe ...
• D1(t,X(t)) = time-varying or state-dependent, D2(t,X(t)) = 0: X
• D1(t,X(t)) = 0, D2(t,X(t)) = constant: X(for large delay)
• D1(t,X(t)) = 0, D2(t,X(t)) = time-varying or state-dependent: X
• D1(t,X(t)), D2(t,X(t)) = time-varying or state-dependent: X
![Page 4: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/4.jpg)
U(t−D)
D=const. D(t) D(X) D(U)uncertainD(t,X)
Linear 1
Nonlinear
![Page 5: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/5.jpg)
U(t−D)
D=const. D(t) D(X) D(U)uncertainD(t,X)
Linear 1
Nonlinear 2
![Page 6: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/6.jpg)
U(t−D)
D=const. D(t) D(X) D(U)uncertainD(t,X)
Linear 1 3
Nonlinear 2
![Page 7: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/7.jpg)
U(t−D)
D=const. D(t) D(X) D(U)uncertainD(t,X)
Linear 1 3
Nonlinear 2 4
![Page 8: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/8.jpg)
U(t−D)
D=const. D(t) D(X) D(U)uncertainD(t,X)
Linear 1 3 X
Nonlinear 2 4 5
![Page 9: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/9.jpg)
X(t−D)
D=const. D(t) D(X) D(U)uncertainD(t,X)
Linear X X
Nonlinear X 6
![Page 10: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/10.jpg)
X(t−D)
D=const. D(t) D(X) D(U)uncertainD(t,X)
Linear X X X
Nonlinear X 6 7
![Page 11: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/11.jpg)
U(t−D)
D=const. D(t) D(X) D(U)uncertainD(t,X)
Linear 1 3 X 8
Nonlinear 2 4 5
![Page 12: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/12.jpg)
U(t−D)
D=const. D(t) D(X) D(U)uncertainD(t,X)
Linear 1 3 X 8
Nonlinear 2 4 5 9
![Page 13: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/13.jpg)
Linear Predictor Feedback for
Constant Delay
![Page 14: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/14.jpg)
Linear Systems with Constant Delays (Design)
X(t) = AX(t) +BU(t−D)
Delay-free control law:
U(t) = KX(t)
Predictor feedback law:
U(t) = KP (t)
P (t) = X(t+D)
Challenge: Compute the future state, i.e., X(t+D).
Explicit derivation for linear systems with the variation of constants formula
P (t) = X(t) +
∫ t
t−DeA(t−θ)BU(θ)dθ
![Page 15: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/15.jpg)
Some History
• Predictor Feedback Design for Linear Systems with Constant Delays on theInput and the State : Manitius & Olbrot, Artstein
Yet, No Analysis was Provided
![Page 16: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/16.jpg)
Linear Systems with Constant Delays (Analysis)
Backstepping Transformation:
W (θ) = U(θ)−KP (θ), t−D ≤ θ ≤ t
Traget system:
X(t) = (A+BK)X(t) +BW (t−D)
W (t) = 0, for all t ≥ 0
Lyapunov-Krasovskii functional:
V (t) = X(t)TPX(t) + b
∫ t
t−Deθ+D−tW (θ)2dθ,
Theorem 1: ∃ λ, ρ such that for all t ≥ 0
|X(t)|+√∫ t
t−DU(θ)2dθ ≤ ρ
|X(0)|+√∫ 0
−DU(θ)2dθ
e−λt
![Page 17: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/17.jpg)
Nonlinear Predictor Feedback for
Constant Delay
![Page 18: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/18.jpg)
Nonlinear Systems with Constant Delays (Design)
X(t) = f (X(t), U(t−D))
Delay-free control law:
U(t) = κ (X(t))
Predictor feedback law:
U(t) = κ (P (t))
Implicit formula for predictor:
P (t) =
∫ t
t−Df (P (θ), U(θ)) dθ
![Page 19: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/19.jpg)
Assumptions (Delay-Free Plant)
X = f (X,ω) is forward complete.
X = f (X,κ (X) + ω) is ISS, and hence, ∃ a dissipative Lyapunov function S
Global asymptotic stability suffices, but for a Lyapunov construction (of theoverall infinite-dimensional system) ISS is required
![Page 20: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/20.jpg)
Nonlinear Systems with Constant Delays (Analysis)
Lemma 1 (infinite-dimensional backstepping transformation of the actuator state)
W (θ) = U(θ)− κ (P (θ)), t−D ≤ θ ≤ t,transforms the closed-loop system into the “target system”
X(t) = f (X(t), κ (X(t)) +W (t−D))
W (t) = 0, ∀t ≥ 0.
Lemma 2 (g.u.a.s. of target system)
∃ β2 ∈ KL s.t.,
|X(t)|+ supt−D≤θ≤ t
|W (θ)| ≤ β2
(|X(0)|+ sup
−D≤θ≤ 0|W (θ)| , t
).
Proof: Using the Lyapunov-Krasovskii functional:
V (t) = S(X(t)) + b
∫ L(t)
0
α(r)
rdr,
L(t) = supt−D≤θ≤t
∣∣eθ+D−tW (θ)∣∣
![Page 21: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/21.jpg)
Nonlinear Systems with Constant Delays (Analysis)
Lemma 1 (infinite-dimensional backstepping transformation of the actuator state)
W (θ) = U(θ)− κ (P (θ)), t−D ≤ θ ≤ t,transforms the closed-loop system into the “target system”
X(t) = f (X(t), κ (X(t)) +W (t−D))
W (t) = 0, ∀t ≥ 0.
Lemma 2 (g.u.a.s. of target system)
∃ β2 ∈ KL s.t.,
|X(t)|+ supt−D≤θ≤ t
|W (θ)| ≤ β2
(|X(0)|+ sup
−D≤θ≤ 0|W (θ)| , t
).
Proof: Using the Lyapunov-Krasovskii functional:
V (t) = S(X(t)) + b
∫ L(t)
0
α(r)
rdr,
L(t) = supt−D≤θ≤t
∣∣eθ+D−tW (θ)∣∣
![Page 22: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/22.jpg)
Nonlinear Systems with Constant Delays (Analysis)
Lemma 1 (infinite-dimensional backstepping transformation of the actuator state)
W (θ) = U(θ)− κ (P (θ)), t−D ≤ θ ≤ t,transforms the closed-loop system into the “target system”
X(t) = f (X(t), κ (X(t)) +W (t−D))
W (t) = 0, ∀t ≥ 0.
Lemma 2 (g.u.a.s. of target system)
∃ β2 ∈ KL s.t.,
|X(t)|+ supt−D≤θ≤ t
|W (θ)| ≤ β2
(|X(0)|+ sup
−D≤θ≤ 0|W (θ)| , t
).
Proof: Using the Lyapunov-Krasovskii functional:
V (t) = S(X(t)) + b
∫ L(t)
0
α(r)
rdr,
L(t) = supt−D≤θ≤t
∣∣eθ+D−tW (θ)∣∣
![Page 23: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/23.jpg)
Nonlinear Systems with Constant Delays (Analysis)
Lemma 3 (norm equivalence between the original system and target system)
∃ρ2, α9 ∈ K∞ s.t.,
|X(t)|+ supt−D≤θ≤t
|U(θ)| ≤ α−19
(|X(t)|+ sup
t−D≤θ≤t|W (θ)|
)|X(t)|+ sup
t−D≤θ≤t|W (θ)| ≤ ρ2
(|X(t)|+ sup
t−D≤θ≤t|U(θ)|
)
![Page 24: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/24.jpg)
U(· + τ)
τ ∈ [-D(X),0]W(· + τ)
τ ∈ [-D(X),0]
.
![Page 25: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/25.jpg)
Linear Predictor Feedback for
Time-Varying Delay
![Page 26: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/26.jpg)
Linear Systems with Time-Varying Delays (Design)
X(t) = AX(t) +BU(t−D(t))
φ(t) = t−D(t)
Predictor feedback:
U(t) = K
(eA(φ−1(t)−t)X(t) +
∫ t
t−D(t)
eA(φ−1(t)−φ−1(θ))BU(θ)
φ′ (φ−1(θ))dθ
)︸ ︷︷ ︸
P (t) = X (φ−1(t))
Comparison with the constant delay case:
U(t) = K
(eADX(t) +
∫ t
t−DeA(t−θ)BU(θ)dθ
)In the time-varying case D 6= D
D = φ−1(t)− tD = t− φ(t)
![Page 27: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/27.jpg)
Some History
• Predictor Feedback Design for Linear Systems with Time-Varying InputDelay : Nihtila
What about a Lyapunov Functional?
![Page 28: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/28.jpg)
Linear Systems with Time-Varying Delays (Analysis)
Backstepping Transformation:
W (θ) = U(θ)−KP (θ), t−D(t) ≤ θ ≤ t
Traget system:
X(t) = (A+BK)X(t) +BW (t−D(t))
W (t) = 0, for all t ≥ 0
Lyapunov-Krasovskii functional:
V (t) = X(t)TPX(t) + a
∫ t
t−D(t)
ebφ−1(θ)−tφ−1(t)−tW (θ)2dθ
Theorem 3: ∃ λ, ρ such that for all t ≥ 0
|X(t)|+√∫ t
t−D(t)
U(θ)2dθ ≤ ρ(|X(0)|+
√∫ 0
−D(0)
U(θ)2dθ
)e−λt
![Page 29: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/29.jpg)
Nonlinear Predictor Feedback for
Time-Varying Delay
![Page 30: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/30.jpg)
Nonlinear Systems with Time-Varying Delays(Design)
X(t) = f (X(t), U(t−D(t)))
φ(t) = t−D(t)
Predictor feedback law:
U(t) = κ (P (t))
= κ(X(φ−1(t)
))Predictor formula:
P (t) = X(t) +
∫ t
φ(t)
f (P (θ), U (θ))dθ
φ′ (φ−1 (θ))
![Page 31: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/31.jpg)
Assumptions (Delay-Free Plant)
X = f (X,ω) is forward complete.
X = f (X,κ (X) + ω) is ISS.
![Page 32: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/32.jpg)
Assumptions (Delay)
D(t) ≥ 0 (guarantees the causality of the system)
D(t) <∞ (guarantees that all inputs applied to the plant eventually reachthe plant)
D(t) < 1 (guarantees that the plant never feels input values that are olderthan the ones it has already felt–input signal direction never reversed)
D(t) > −∞ (guarantees that the delay cannot disappear instantaneously,but only gradually)
![Page 33: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/33.jpg)
Achilles heel: φ−1(t) > t > φ(t)
t
D(t) needs to be known sufficiently far in advance
⇒ method appears not to be usable for state-dependent delays
![Page 34: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/34.jpg)
Nonlinear Systems with Time-Varying Delays(Analysis)
Backstepping Transformation:
W (θ) = U(θ)− κ(P (θ)), t−D(t) ≤ θ ≤ tTraget system:
X(t) = f (X(t), κ(X(t)) +W (t−D(t)))
W (t) = 0, for all t ≥ 0
Lyapunov-Krasovskii functional:
V (t) = S(X(t)) + b
∫ L(t)
0
α(r)
rdr,
L(t) = supt−D(t)≤θ≤t
∣∣∣∣eφ−1(θ)−tφ−1(t)−tW (θ)
∣∣∣∣Theorem 4: ∃ β ∈ KL such that for all t ≥ 0
|X(t)|+ supt−D(t)≤θ≤t
|U(θ)| ≤ β(|X(0)|+ sup
−D(0)≤θ≤0
|U(θ)|, t)
![Page 35: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/35.jpg)
Example
X1(t) = X2(t)−X2(t)2U(t−D(t))
X2(t) = U(t−D(t))
D(t) =1 + t
1 + 2t
Delay-free control law
U(t) = −X1(t)− 2X2(t)− 1
3X2(t)3
Predictor feedback
U(t) = −P1(t)− 2P2(t)− 1
3P2(t)3
P1(t) =
∫ t
t−D(t)
(P2(θ)− P2(θ)2U (θ)
) dθ
φ′ (φ−1(θ))+X1(t)
P2(t) =
∫ t
t−D(t)
U (θ)dθ
φ′ (φ−1(θ))+X2(t)
![Page 36: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/36.jpg)
0 2 4 6 82
1
0
1
2
X1(t)
t0 2 4 6 82
1.5
1
0.5
0
0.5
1
1.5
t
X2(t)
0 2 4 6 8−4
−3
−2
−1
0
1
2
3
t
U (t)
Figure: Controller “kicks in” at t = φ−1(0) = 1√2
![Page 37: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/37.jpg)
State-Dependent Delay
![Page 38: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/38.jpg)
Non-holonomic Unicycle with Distance-DependentDelay (1)
Nonholonomic Unicycle
x(t) = v (t−D (x(t), y(t))) cos (θ(t))
y(t) = v (t−D (x(t), y(t))) sin (θ(t))
θ(t) = ω (t−D (x(t), y(t)))
Delay that grows with the distance relative to the reference position
D (x(t), y(t)) = x(t)2 + y(t)2
A time-varying controller due to Pomet (1992) is
ω(t) = −5P (t)2 cos (3t)− P (t)Q(t)(
1 + 25 cos (3t)2)− θ(t)
v(t) = −P (t) + 5Q(t) (sin (3t)− cos (3t)) +Q(t)ω(t)
P (t) = x(t) cos (θ(t)) + y(t) sin (θ(t))
Q(t) = x(t) sin (θ(t))− y(t) cos (θ(t))
![Page 39: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/39.jpg)
Non-holonomic Unicycle with Distance-DependentDelay (2)
−20 −10 0 10 20
−15
−10
−5
0
5
10
15
Trajectory of the robot for t ∈ [0, 500]
x(t)
y(t)
The trajectory of the robot with the uncompensated controller with initialconditions x(0) = y(0) = θ(0) = 1 and ω(s) = v(s) = 0 for all−x(0)2 − y(0)2 ≤ s ≤ 0.
![Page 40: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/40.jpg)
Nonlinear Systems with State-Dependent Delay
X(t) = f (X(t), U (t−D (X(t))))
Main challenge:
P (t) = X (t+D (P (t)))
![Page 41: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/41.jpg)
Predictor Feedback
P (t) = X(t) +
∫ t
t−D(X(t))
f (P (s), U(s)) ds
1−∇D (P (s)) f (P (s), U(s))
= X (σ(t))
φ−1(t)︷︸︸︷σ(t) = t+D (P (t))
U(t) = κ (P (t))
![Page 42: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/42.jpg)
Global Stabilization is not Possible in General
X(t) = X(t) + U
φ(t)︷ ︸︸ ︷(t−X(t)2
)with U(θ) = 0, for all −X(0)2 ≤ θ ≤ 0.The control signal never kicks in for X(0) ≥ X∗ = 1√
2e= 0.43
0 0.1 0.2 0.3 0.4 0.5 0.6 0.70
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
t
x(t)
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7−0.2
−0.1
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
φ(t)
t
The state of the system with the delay-compensated controller and four differentinitial conditions X(0) = 0.15, 0.25, 0.35, X∗.
![Page 43: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/43.jpg)
Why the Results are not Global
The feasibility condition that the delay rate is less than one must hold toensure that the control signal reaches the plant and that the control remainsbounded
The solutions of the system and the initial conditions must satisfy
Fc : ∇D (P (θ)) f (P (θ), U(θ)) < c, for all θ ≥ −D (X(0))
for c ∈ (0, 1]. We refer to F1 as the feasibility condition of the controller.
![Page 44: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/44.jpg)
Assumptions (Delay-Free Plant)
X = f (X,ω) is forward complete
X(t) = f (X(t), κ (X(t)) + ω(t)) is ISS
![Page 45: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/45.jpg)
Assumptions (Delay)
D ∈ C1 (Rn;R+)
The rest of the assumptions are satisfied by restricting the initial conditions
![Page 46: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/46.jpg)
Theorem 5:
∃ψ ∈ K and β ∈ KL such that for all initial conditions that satisfy
B0(c) : |X(0)|+ sup−D(X(0))≤θ≤0
|U(θ)| < ψ (c)
for some 0 < c < 1,
|X(t)|+ supt−D(X(t))≤θ≤t
|U(θ)| ≤ β(|X(0)|+ sup
−D(X(0))≤θ≤0
|U(θ)|, t)
![Page 47: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/47.jpg)
The Infinite-Dimensional State-Space
level set of Lyapunov functional
state: X, U(•+s), -D(X) ≤ s ≤ 0
Sets arising in the proof of the Theorem in the infinite-dimensional state spaceRn × C[t−D(X(t)), t). B0(c): the ball of initial conditions allowed in the proofof the theorem. B(c): the ball inside which the ensuing solutions are trapped.
![Page 48: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/48.jpg)
⇓
⇓
(X,U)
(X,W )
(X,U)
![Page 49: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/49.jpg)
Lemmas 1–3 (from the constant delay case apply here as well)
Lemma 4 (finding a ball B around the origin and within the feasibility region)
∃ρc ∈ KC∞ s.t. Fc (0 < c < 1) is satisfied by all solutions that satisfy
B(c) : |X(t)|+ supt−D(X(t))≤θ≤t
|U(θ)| < ρc(c, c) ∀t ≥ 0.
Lemma 5 (ball B0 of initial conditions s.t. all solutions are confined in B⊂ Fc)∃ψRoA ∈ K s.t. for all initial conditions in B0(c), the solutions remain inB(c) ⊂ Fc for some 0 < c < 1.
![Page 50: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/50.jpg)
Non-holonomic Unicycle Revisited (1)
ω(t) = −5P (t)2 cos (3σ(t))− P (t)Q(t)(
1 + 25 cos (3σ(t))2)−Θ(t)
v(t) = −P (t) + 5Q(t) (sin (3σ(t))− cos (3σ(t))) +Q(t)ω(t)
P (t) = X(t) cos (Θ(t)) + Y (t) sin (Θ(t))
Q(t) = X(t) sin (Θ(t))− Y (t) cos (Θ(t))
With the predictors
X(t) = x(t) +
∫ t
t−x(t)2−y(t)2g(s)v (s) cos (Θ(s)) ds
Y (t) = y(t) +
∫ t
t−x(t)2−y(t)2g(s)v (s) sin (Θ(s)) ds
Θ(t) = θ(t) +
∫ t
t−x(t)2−y(t)2g(s)ω(s)ds
σ(t) = t+X(t)2 + Y (t)2
g(s) =1
1− 2 (X(s)v (s) cos (Θ(s)) + Y (s)v (s) sin (Θ(s)))
![Page 51: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/51.jpg)
Non-holonomic Unicycle Revisited (2)
−0.4 −0.2 0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
x(t)
y(t)
Trajectory of the robot for t ∈ [0, 15]
0 5 10 150
1
2
3
4
5
6
7
8
9
10
t
D(t)
The trajectory of the robot, with the compensated controller and the delayfunction with the compensated controller (solid line) and the uncompensatedcontroller (dashed line) with initial conditions x(0) = y(0) = θ(0) = 1 andω(s) = v(s) = 0 for all −x(0)2 − y(0)2 ≤ s ≤ 0.
![Page 52: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/52.jpg)
When a Global Result is Possible
∇D (X) f (X,ω) < c < 1
is satisfied, for all (X,ω) ∈ Rn+1.
![Page 53: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/53.jpg)
When a Global Result is Possible (An Example)
X(t) =X(t) + U (t−D (X(t)))
U (t−D (X(t)))2
+ 1, with D (X(t)) =
1
4log(X(t)2 + 1
)
0 5 10 15 200
0.5
1
1.5
2
2.5
X (t)
t
The state of the system with the delay-compensated controller and initialconditions X(0) = 1.5, U(θ) = 0, for all − 1
4 log(X(0)2 + 1
)≤ θ ≤ 0. After the
controller kicks in, X(t) decays according to X(t) = − X(t)1+4X(t)2 .
![Page 54: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/54.jpg)
Forward Completeness and ISS are NOT Necessary!
![Page 55: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/55.jpg)
Assumption (Delay-Free Plant)
X = f (X,ω) is locally stabilizable, i.e., ∃κ, R > 0 and β∗ ∈ KL such that,the system X = f (X,κ(t,X)) satisfies
|X(t)| ≤ β∗ (|X(0)| , t) , t ≥ 0,
for all |X(0)| ≤ R.
![Page 56: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/56.jpg)
Why the Results are not Global
t
|X(t)|
R
initial condition so large thatcontrol never kicks in
control kicks in but statealready outside RoA,state so large that it retardscontrol to earlier values aftercontrol kicks in
control kicks in within RoAand state transient not largeenough to retard controlto earlier values
OR
σ*
blue: system runs in open loop
Four possibilities that may arise with closed-loop solutions.
![Page 57: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/57.jpg)
Proof (1)
D(0)+δ₁(R)
control kicks in
σ*
D(0)+δ₁(η(r₀,t))
D(0)
D(X₀)D(X(t))
ξ*
D(0)+δ₁(η(r₀,ξ*))
t
estimate of timeξ*when control kicks in
ξ*(r₀)from a fixed pt. problem
determined
t
The strategy of the proof. The exact time σ∗ when the control reaches the plantis not known analytically. We find an upper bound ξ∗ ≥ σ∗ by using an upperbound D(X) ≤ D(0) + δ1(|X|) on the delay and by estimating an upper bound onthe open-loop solution |X(t)| ≤ η(r0, t), r0 := |X(0)|+ sup−D(X(0))≤θ≤0 |U(θ)|.
![Page 58: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/58.jpg)
Proof (2)
D(0)+δ₁(R)
D(0)
ξ*(r₀)
r₀δ
The function ξ∗(r0) determined from the fixed-point problemξ∗ = D(0) + δ1(η(r0, ξ
∗). By reducing r0 sufficiently, we can ensure that thecontrol signal reaches the plant before |X(t)| has exceeded R.
![Page 59: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/59.jpg)
A Locally Stabilizable Example
X(t) = X(t)4 + 2X(t)5 +(X(t)2 +X(t)3
)U
φ(t)︷ ︸︸ ︷
t−X(t)2
not locally exponentially stabilizable nor globally asymptotically stabilizable.Delay-free controller U(t) = −X(t) yields X(t) = −X(t)3 + 2X(t)5, withR = 1√
2.
0 1 2 3 4 50
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
t
X (t)
0 1 2 3 4 5−0.5
0
0.5
1
1.5
2
φ(t)
t
Solid: Delay-compensating controller. Dashed: Uncompensated controller. Dot:Nominal controller for a system without delay. The controller “kicks in” atσ∗ = 0.46 and hence, X∗ =
√σ∗ = 0.678, which is almost at R = 1√
2.
![Page 60: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/60.jpg)
Nonlinear Predictor Feedback for Simultaneous
Time-Varying Delays on the Input and the State
![Page 61: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/61.jpg)
Nonlinear Systems with Delayed Integrators (Design)
X1(t) = f1 (X1(t)) +X2 (φ1(t))
X2(t) = f2 (X1(t), X2(t)) + U (φ2(t))
Predictor feedback law:
U(t) = −f2
(P1
(ψ(φ−1
2 (t))), P2(t)
)− c2
(P2(t) + c1P1(t) + f1 (P1(t))
)−(c1 +
∂f1 (P1)
∂P1
)(f1 (P1(t)) + P2(t))R
(φ−1
2 (t))
Predictor formula:
P1(t) = X1(t) +
∫ t
ψ(t)
(f1 (P1 (θ)) + P2 (θ))dθ
ψ′ (ψ−1(θ))
P2(t) = X2(t) +
∫ t
φ2(t)
(f2
(P1
(ψ(φ−1
2 (θ))), P2(θ)
)+ U(θ)
)dθ
φ′2(φ−1
2 (θ))
ψ(t) = φ2 (φ1(t))
In the constant delay case:φi(t) = t−Di, ψ(t) = φ2 (φ1(t)) = t−D1 −D2
![Page 62: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/62.jpg)
Assumptions
Plant
X1(t) = f1 (X1(t)) +X2 (φ1(t))
X2(t) = f2 (X1(t), X2(t)) + U (φ2(t))
is forward complete.
Delays
Di(t) positive and bounded.
Di(t) less than one.
![Page 63: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/63.jpg)
Nonlinear Systems with Delayed Integrators(Analysis)
Backstepping Transformation:
Z2(t) = X2(t) + f1 (P1 (φ2(t))) + c1P1 (φ2(t))
Traget system:
Z1(t) = −c1Z1(t) + Z2(φ1(t))
Z2(t) = −c2Z2(t) +W (φ2(t))
W (t) = 0, t ≥ 0
Theorem 6:
∃β ∈ KL such that
|X1(t)|+ ‖X2(t)‖∞ + ‖U(t)‖∞ ≤ β(|X1(0)|+ ‖X2(0)‖∞ + ‖U(0)‖∞, t
)‖ · ‖∞ sup norms over [t−Di(t), t]
![Page 64: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/64.jpg)
An Example
X1(t) = sin (X1(t)) +X2 (t−D(t)) , X2(t) = U(t)
Predictor feedback
U(t) = −c2 (X2(t) + c1P1(t) + sin (P1(t)))
− (c1 + cos (P1(t))) (sin (P1(t)) +X2(t))d(t−D(t))−1
dt
P1(t) = X1(t) +
∫ t
t−D(t)︸ ︷︷ ︸φ(t)
(sin (P1 (θ)) +X2 (θ))dθ
φ′ (φ−1(θ))
0 1 2 3 4 52
1.5
1
0.5
0
0.5
1
1.5
2
t
X1(t)
• Dotted: Assuming D(t) = 0and D(t) = 0
• Dashed: Assuming D(t) = 0but D(t) = 1+t
1+2t
• Solid: With predictorfeedback
• Control signal reaches X1(t)at t = φ−1(0) = 1√
2
![Page 65: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/65.jpg)
State-Dependent State Delay
![Page 66: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/66.jpg)
Nonlinear Systems with State-Dependent StateDelay
X1(t) = f1 (t,X1(t), X2 (t−D (X1(t))))
X2(t) = f2 (t,X1(t), X2(t)) + U(t)
Additional challenge: The predictor design does not follow immediately fromthe delay-free design
![Page 67: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/67.jpg)
Predictor Feedback
U(t) = −f2 (t,X1(t), X2(t))− c2 (X2(t)− κ (σ(t), P1(t)))
+
∂κ(σ,P1)∂σ + ∂κ(σ,P1)
∂P1f1 (σ(t), P1(t), X2(t))
1−∇D (P1(t)) f1 (σ(t), P1(t), X2(t)),
where
P1(t) = X1(t) +
∫ t
t−D(X1(t))
f1 (σ(s), P1(s), X2(s)) ds
1−∇D (P1(s)) f1 (σ(s), P1(s), X2(s))
σ(t) = t+D (P1(t))
![Page 68: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/68.jpg)
Why the Results are not Global (Even for ForwardComplete Systems)
The feasibility condition that the delay rate is less than one must hold toensure that the control signal reaches the state X1 and that the controlremains bounded
The solutions of the system and the initial conditions must satisfy
Gc : ∇D (P1(θ)) f1 (σ(θ), P1(θ), X2(θ)) < c,
for all θ ≥ t0 −D (X1(t0)), for c ∈ (0, 1]. We refer to G1 as the feasibilitycondition of the controller.
![Page 69: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/69.jpg)
Theorem 7:
∃ξRoA ∈ K and β∗ ∈ KL such that for all initial conditions that satisfy
Ω(t0) < ξRoA (c)
Ω(t) = |X1(t)|+ supt−D(X1(t))≤θ≤t
|X2(θ)|
for some 0 < c < 1,
Ω(t) ≤ β∗ (Ω(t0), t− t0)
![Page 70: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/70.jpg)
Assumptions (Delay-Free Plant)
∃ smooth positive definite function R and α1, α2 and α3 ∈ K∞ s.t.∀(X,ω, t)
α1 (|X|) ≤ R (t,X) ≤ α2 (|X|)∂R (t,X)
∂t+∂R (t,X)
∂Xf1 (t,X, ω) ≤ R (t,X) + α3 (|ω|) ,
which guarantees that X = f1 (t,X, ω) is forward-complete.
X(t) = f1 (t,X(t), κ (t,X(t)) + ω(t)) is ISS
![Page 71: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/71.jpg)
Assumptions (Delay)
D ∈ C1 (Rn;R+)
![Page 72: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/72.jpg)
Proof (Infinite-Dimensional BacksteppingTransformation)
The infinite-dimensional backstepping transformation of the state X2
Z2(θ) = X2(θ)− κ (θ +D (P1(θ)) , P1(θ)) , t−D (X1(t)) ≤ θ ≤ t
transforms the system to the “target system”
X1(t) = f1 (t,X1(t), κ (t,X1(t)) + Z2 (t−D (X1(t))))
Z2(t) = −c2Z2(t)
Then prove stability of “target system” from ISS.
Using forward-completeness and ISS prove the norm equivalency.
On the way to do so, prove that the feasibility condition is satisfied when theoriginal norm is small.
![Page 73: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/73.jpg)
Nonlinear Systems with State-Dependent StateDelay (Example 1)
s(t) = v(t− r1 sin2 (ωs(t)))
v(t) = a(t)
The predictor-based controller is
a(t) = −c2 (v(t) + c1P1(t))− c1v(t)
1− r1ω sin (ωP1(t)) cos (ωP1(t)) v (t)
where
P1(t) = s(t) +
∫ t
t−r1 sin2(ωs(t))
v (s) ds
1− r1ω sin (ωP1(s)) cos (ωP1(s)) v (s)
![Page 74: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/74.jpg)
Nonlinear Systems with State-Dependent StateDelay (Example 1)
The initial conditions are s(0) = 1, v(θ) = 0.1, for all −r1 sin2 (ωs(0)) ≤ θ ≤ 0
0 2 4 6 8 10−0.4
−0.2
0
0.2
0.4
0.6
0.8
1
1.2
t
s(t)
v(t)
0 2 4 6 8 10−2
0
2
4
6
8
10
12
t
φ(t) = t − 0.3 sin2(15s(t))
σ(t)
0 2 4 6 8 10−0.4
−0.2
0
0.2
0.4
0.6
t
a(t)
![Page 75: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/75.jpg)
Nonlinear Systems with State-Dependent StateDelay (Example 2)
DelayH(Tout)
C
Heat Exchanger
Tin Tout
q1
1
Figure: A marine cooling system with one consumer
Tout = X1, Tin = X2, H = bk1Tout+k2
= D, q1 = U
X1(t) = a (X1(t)−X2 (t−D(X1(t)))) (k1X1(t) + k2)
X2(t) = (k1X1(t) + k2) (X1(t)−X2(t))− U(t)
where, a < 0, b, k1, k2 > 0.
![Page 76: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/76.jpg)
Nonlinear Systems with State-Dependent StateDelay (Example 2)
We choose
U(t) = (k1X1(t) + k2) (X1(t)−X2(t)) + c2
(X2(t)− P1(t)− c1
a
P1(t)− Teq
k1P1(t) + k2
)
−
1 +c1ak1
Teq + k2k1(
P1(t) + k2k1
)2
× (P1(t)−X2 (t)) (k1P1(t) + k2)
R(t)
where
P1(t) = X1(t) +
∫ t
t− bk1X1(t)+k2
a(P1(θ)−X2 (θ)) (k1P1(θ) + k2) dθ
R(θ)
R(θ) = 1 +bk1a (P1(θ)−X2 (θ))
(k1P1(θ) + k2)2 (k1P1(θ) + k2)
![Page 77: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/77.jpg)
Nonlinear Systems with State-Dependent StateDelay (Example 2)
a = −1, c1 = c2 = b = k1 = k2 = 1 , Tout(0) = 1, Tin(θ) = 0.6, θ ≤ 0, Teq = 0.4
Figure: Dashed: Open-loop response. Solid: Response with predictor feedback.
0 1 2 3 4 50.4
0.5
0.6
0.7
0.8
0.9
1
t
Tout
0 1 2 3 4 50.4
0.5
0.6
0.7
0.8
0.9
1
Tin
t
0 1 2 3 4 50
0.2
0.4
0.6
0.8
1
t
q1
Figure: Response of the system with the delay-compensating controller (solid line) and inopen-loop (dashed line).
![Page 78: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/78.jpg)
Robustness of Linear Constant-Delay Predictors to
Time-Varying Delay Perturbations
![Page 79: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/79.jpg)
Robustness to Time-Varying Delay Perturbations
X(t) = AX(t) +BU(t− D − δ(t)
)U(t) = K
(eADX(t) +
∫ t
t−DeA(t−θ)BU(θ)dθ
)
Theorem 8: ∃ δ1, such that if
|δ(t)|+ |δ′(t)| < δ1, for all t ≥ 0
then, the closed-loop system is exponentially stable, in the sense of the norm
ΠL(t) = |X(t)|2 +
∫ t
t−D−max0,δ(t)U(θ)2dθ +
∫ t
t−DU(θ)2dθ
![Page 80: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/80.jpg)
Robustness to Time-Varying Delay Perturbations
Are larger absolute delay and delay rates allowed?
Theorem 9: ∃ δ2, δ3 such that if
∫ ∞0
(|δ′(θ)|+ |δ(θ)|) dθ ≤ δ2
or
|δ(t)|+ |δ′(t)| → 0, when t→∞or
1
∆
∫ t+∆
t
(|δ′(θ)|+ |δ(θ)|) dθ ≤ δ3 for all t ≥ T
then, the closed-loop system is exponentially stable, in the sense of the norm
ΠL(t) = |X(t)|2 +
∫ t
t−D−max0,δ(t)U(θ)2dθ +
∫ t
t−DU(θ)2dθ
![Page 81: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/81.jpg)
Centralized Teleoperation
LocalManipulator
Delayδ(t)
Delayδ(t)
RemoteManipulator
Centralized ControllerComputational Delay
D
Network
τm
xs, xs
xm, xm
τs
1
xm(t) + xm(t) = τm
(t− D − δ(t)
)xs(t) + xs(t) = τs
(t− D − 2δ(t)
)
![Page 82: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/82.jpg)
Centralized Teleoperation (Design)
U1(t) = −Kp
(P1(t)− P3(t)
)−BmP2(t)−Kp
(P1(t)− r
)U2(t) = Kp
(P1(t)− P3(t)
)−BsP4(t)−Kp
(P3(t)− r
)Pi(t) = Xi(t) +
∫ t
t−DPi+1(θ)dθ, i = 1, 3
Pj(t) = Xj(t) +
∫ t
t−D
(−Pj(θ) + U j
2(θ))dθ, j = 2, 4
0 2 4 6 8 100
0.2
0.4
0.6
0.8
1
t
δ(t
)
Figure: The delay perturbation δ induced by the network in teleoperation.
![Page 83: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/83.jpg)
Centralized Teleoperation (Simulations)
D = 1δ(t)=−δ(t)+0.1 sin(t)2, δ(0)=1 (solid). δ(t)=0 (dashed).
0 2 4 6 8−1
−0.5
0
0.5
1
1.5
t
xm
(t)−
xs(t
)
0 2 4 6 8−5
0
5
10
t
τm
τs
Figure: The error between the position of the master and the slave and the inputtorques. The two robots are coordinated through a network that induces an unknowntime-varying delay δ(t). The initial conditions are xm(0) = 0, xs(0) = 1,xm(0) = xs(0) = 0, τm(θ) = τs(θ) = 0, −1− δ(0) ≤ θ ≤ 0.
![Page 84: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/84.jpg)
Robustness of Nonlinear Constant-Delay Predictors
to Time- and State-Dependent Delay Perturbations
![Page 85: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/85.jpg)
Motivation
Delayδ(t, X) e−Ds Plant
Effect of other controllers controllingother plants over the same network
Network
PredictorController
κ
U(t) X(t)
P
1
Figure: Control over a network, with delay that varies with time (as a result of otherusers’s activities) and may be state-dependent. The designer only knows a nominal,constant delay value D. The delay fluctuation δ(t,X) is unknown.
![Page 86: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/86.jpg)
Robustness to Time- and State-Dependent DelayPerturbations
X(t) = f(X(t), U
(t− D − δ (t,X(t))
))U(t) = κ
(P (t)
)P (t) = X(t) +
∫ t
t−Df(P (s), U(s)
)ds
Assumptions
X = f (X,ω) is forward-complete
X = f (X,κ(X)) is l.e.s.
![Page 87: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/87.jpg)
Theorem 10: ∃ c1, c∗∗ > 0, and µ, α∗, ζ ∈ K∞, and β ∈ KL such that if
|δ (t, ξ)|+ |δt (t, ξ)|+ |∇δ (t, ξ)| ≤ c1 + µ (|ξ|)
then for all
Π(0) < c∗∗
it holds
Π(t) ≤ β (Π(0), t) , for all t ≥ 0
where
Π(t) = |X(t)|+∫ t
t−Dα∗ (|U(θ)|) dθ +
∫ t
t−D−max0,δ(t,X(t))U(θ)2dθ
+
∫ t
t−DU(θ)2dθ
![Page 88: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/88.jpg)
Control of a DC Motor over a Network (1)
dω(t)
dt= θif(t)ia(t)
dia(t)
dt= −bia(t)+k−cif(t)ω(t)
dif(t)
dt= −aif(t)+U
(t−D−δ(t, if(t), ia(t), ω(t))
)if , ia are field and armature currents and ω is angular velocity.Delay-free design (based on full-state linearization)
U(t) = 1/γ × (−K1Z1(t)−K2Z2(t)−K3Z3(t)− α)
Z1(t) = θia(t)2 + cω(t)2 − θk2
b2− cω2
0
Z2(t) = 2θia(t) (k − bia(t))
Z3(t) = 2θ (k − 2bia(t)) (−bia(t) + k − cif(t)ω(t))
γ = −2cθ (k − 2bia(t))ω(t)
α = 2caθ (k − 2bia(t)) if(t)ω(t)− 2bθ (3k − 4bia(t)
−2cif(t)ω(t)) (−bia(t) + k − cif(t)ω(t))
−2cθ (k − 2bia(t)) if(t)2ω(t).
![Page 89: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/89.jpg)
Control of a DC Motor over a Network (2)
Nominal delay: D = 1Delay Perturbation: δ (t, ia(t)) = 0.5ia(t)2 + 0.2 sin(t)2 (solid). δ (t, ia(t)) = 0(dashed).
0 5 10 15−0.05
0
0.05
0.1
0.15
0.2
0.25
0.3
t
i f(t
)
0 5 10 150.75
0.8
0.85
0.9
0.95
1
1.05
1.1
t
i a(t
)
Figure: The field and armature currents with initial conditions if(0) = 0.1, ia(0) = 0.8.
![Page 90: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/90.jpg)
Control of a DC Motor over a Network (2)
Nominal delay: D = 1Delay Perturbation: δ (t, ia(t)) = 0.5ia(t)2 + 0.2 sin(t)2 (solid). δ (t, ia(t)) = 0(dashed).
0 5 10 151
1.1
1.2
1.3
1.4
1.5
1.6
1.7
t
ω(t
)
0 5 10 15−0.2
0
0.2
0.4
0.6
0.8
1
1.2
t
U(t
)
Figure: The angular velocity and the field voltage. The initial conditions are ω(0) = 1and U(θ) = 0, −1− δ(0, ia(0)) ≤ θ ≤ 0.
![Page 91: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/91.jpg)
For the Future
• Robust control for linear systems with constant input delays
• Nonlinear systems with constant distributed input delays
• Nonlinear systems with more complex input dynamics
• State-dependent delays that depend on delayed states
• Input-dependent delays
![Page 92: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/92.jpg)
Sampled-data and control over networks
(with Iasson Karafyllis)
![Page 93: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/93.jpg)
Sampled-data stabilization of LTI systems with input delay τ ,measurement delay r, and sampling time T
Theorem 11: Let l = integer
τ + r
T
∈ Z and δ = τ + r − lT . Suppose that
the matrix
exp(AT )
(I +
∫ T
0
exp(−As)dsBK)
has all of its eigenvalues inside the unit circle (guaranteed for suffic. small T). Thecontroller
u(t) = ui , t ∈ [iT, (i+ 1)T ) , i ∈ Z+
with input applied with zero-order hold given by
ui = Kexp(A(τ + r))x(iT − r) +K
l+1∑j=1
QjBui−j , [difference eqn in u]
where
Qj = exp(AjT )
∫ T
0
exp(−As)ds , j = 1, . . . , l
Ql+1 = exp(AlT )
∫ δ
0
exp(As)ds
guarantees exp. stability in the supremum norm of x over [−r, 0] and u over [−τ, 0].
![Page 94: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/94.jpg)
Nonlinear Predictor Fbk for Non-holonomic Unicycle ControlledOver a Network with Arbitrarily Sparse Sampling
Let (for simplicity)
D = transmission delay in both directions = sampling time
![Page 95: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/95.jpg)
Controller
v(t) =1
D(k1(P,Q,Θ) +Qk2(P,Q,Θ)) , for t ∈ [iD, (i+ 1)D)
ω(t) =1
Dk2(P,Q,Θ), for t ∈ [iD, (i+ 1)D)
with transformation
P = X cos (Θ) + Y sin (Θ)
Q = X sin (Θ)− Y cos (Θ)
the exact predictor of (x, y, θ)((i+ 1)D)
X = x( (i− 1)D ) +
∫ iD
(i− 2)Dv(s) cos
(θ( (i− 1)D ) +
∫ s
(i−2)D
ω(z)dz
)ds
Y = y( (i− 1)D ) +
∫ iD
(i− 2)Dv(s) sin
(θ( (i− 1)D ) +
∫ s
(i−2)D
ω(z)dz
)ds
Θ = θ( (i− 1)D ) +
∫ iD
(i− 2)Dω(s)ds
![Page 96: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/96.jpg)
and the discontinuous sampled-data stabilizer designed for the delay-free case
k1(P,Q,Θ) = −
|Q|1/2, Q(2Q− PΘ) 6= 0
P 2Θ
P 2 + Θ2, Q = 0, PΘ 6= 0
Θ, 2Q = PΘ
k2(P,Q,Θ) = −
2(P + sgn(Q)|Q|1/2
), Q(2Q− PΘ) 6= 0
PΘ2
P 2 + Θ2, Q = 0, PΘ 6= 0
P, 2Q = PΘ
Theorem 12: For any D > 0, the closed-loop system is globally asymptoticallystable at the origin. Moreover, x(t) = y(t) = θ(t) = 0 for t ≥ 5D .
Predictor allows stabilization based on states from two long sample periods ago.
![Page 97: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/97.jpg)
Adaptive Control for Unknown Delay
![Page 98: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/98.jpg)
Robustness to Delay Mismatch
The biggest open question in robustness of predictor feedbacks.
X = AX +BU(t−D0−∆D)
U(t) = K
[eAD0X(t) +
∫ t
t−D0
eA(t−θ)BU(θ)dθ
]∆D either positive or negative
Theorem 13: ∃δ > 0 s.t. ∀∆D ∈ (−δ, δ) the closed-loop system is exp. stable inthe sense of the state norm
N2(t) =
(|X(t)|2 +
∫ t
t−DU(θ)2dθ
)1/2
,
where D = D0 + max0,∆D.
![Page 99: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/99.jpg)
Delay-Robustness of Predictor Feedback
uncertain delay LTI-ODEplant
U(t)
![Page 100: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/100.jpg)
Delay-Adaptive Control
uncertain delay LTI-ODEplant
U(t)
unknown delay LTI-ODEplant
U(t)
Motivation: control of thermoacoustic instabilities in gas turbine combustors
![Page 101: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/101.jpg)
transport PDE with unknown
propagation speed 1/D
LTI-ODEplant
U(t) X(t)
estimator of D
u(x,t)
certainty equivalenceversion of
predictor feedback
![Page 102: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/102.jpg)
Update law
d
dtD(t) = −γ
∫ 1
0
(1 + x)
reg.error︷ ︸︸ ︷w(x, t)
regressor︷ ︸︸ ︷KeAD(t)xdx (AX(t) +Bu(0, t))
1 +X(t)TPX(t) + b
∫ 1
0
(1 + x)w(x, t)2dx︸ ︷︷ ︸normalization
w(x, t) = u(x, t)− D(t)
∫ x
0
KeAD(t)(x−y)Bu(y, t)dy −KeAD(t)xX(t) .
![Page 103: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/103.jpg)
Update law
d
dtD(t) = −γ
∫ 1
0
(1 + x)
reg.error︷ ︸︸ ︷w(x, t)
regressor︷ ︸︸ ︷KeAD(t)xdx (AX(t) +Bu(0, t))
1 +X(t)TPX(t) + b
∫ 1
0
(1 + x)w(x, t)2dx︸ ︷︷ ︸normalization
w(x, t) = u(x, t)− D(t)
∫ x
0
KeAD(t)(x−y)Bu(y, t)dy −KeAD(t)xX(t) .
Theorem 14: ∃R, ρ > 0 s.t.
Υ(t) ≤ R[exp(ρΥ(0)
)− 1]
(exp. growing class K∞ glob. stab. bound)
where
Υ(t) = |X(t)|2 +
∫ 1
0
u(x, t)2dx+(D − D(t)
)2 .
Furthermore, X(t), U(t)→ 0.
![Page 104: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/104.jpg)
X(s) =e−s
s− 0.75U(s)
unstable X-29 aircraft[Ens, Ozbay, Tannenbaum, 1992]
![Page 105: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/105.jpg)
0 2 4 6 8 100
0.5
1
1.5
2
t
D(t)
D(0) = 2
D(0) = 0
^
^
^
X(s) =e−s
s− 0.75U(s)
Simulations by
Delphine Bresch-Pietri
![Page 106: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/106.jpg)
0 2 4 6 8 100
0.5
1
1.5
2
t
D(t)
D(0) = 2
D(0) = 0
^
^
^
X(s) =e−s
s− 0.75U(s)
Simulations by
Delphine Bresch-Pietri
![Page 107: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/107.jpg)
0 2 4 6 8 100
0.5
1
1.5
2
t
D(t)
D(0) = 2
D(0) = 0
^
^
^
0 2 4 6 8 100
0.2
0.4
0.6
0.8
1
1.2
1.4
t
X(t
)
D(0) = 2
D(0) = 0
^
^
X(s) =e−s
s− 0.75U(s)
Simulations by
Delphine Bresch-Pietri
![Page 108: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/108.jpg)
0 2 4 6 8 100
0.5
1
1.5
2
t
D(t)
D(0) = 2
D(0) = 0
^
^
^
0 2 4 6 8 100
0.2
0.4
0.6
0.8
1
1.2
1.4
t
X(t
)
D(0) = 2
D(0) = 0
^
^
X(s) =e−s
s− 0.75U(s)
Simulations by
Delphine Bresch-Pietri
![Page 109: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/109.jpg)
0 2 4 6 8 100
0.5
1
1.5
2
t
D(t)
D(0) = 2
D(0) = 0
^
^
^
0 2 4 6 8 100
0.2
0.4
0.6
0.8
1
1.2
1.4
t
X(t
)
D(0) = 2
D(0) = 0
^
^
X(s) =e−s
s− 0.75U(s)
Simulations by
Delphine Bresch-Pietri
![Page 110: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/110.jpg)
0 2 4 6 8 100
0.5
1
1.5
2
t
D(t)
D(0) = 2
D(0) = 0
^
^
^
0 2 4 6 8 100
0.2
0.4
0.6
0.8
1
1.2
1.4
t
X(t
)
D(0) = 2
D(0) = 0
^
^
X(s) =e−s
s− 0.75U(s)
Simulations by
Delphine Bresch-Pietri
![Page 111: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/111.jpg)
0 2 4 6 8 100
0.5
1
1.5
2
t
D(t)
D(0) = 2
D(0) = 0
^
^
^
0 2 4 6 8 100
0.2
0.4
0.6
0.8
1
1.2
1.4
t
X(t
)
D(0) = 2
D(0) = 0
^
^
0 2 4 6 8 10−2.5
−2
−1.5
−1
−0.5
0
0.5
t
U(t)
D(0) = 2
D(0) = 0
^
^
X(s) =e−s
s− 0.75U(s)
Simulations by
Delphine Bresch-Pietri
![Page 112: Control of Nonlinear Delay Systems - Miroslav Krsticflyingv.ucsd.edu/krstic/talks/talks-files/delay-tutorial-CDC12.pdfControl of Nonlinear Delay Systems ... San Diego Tutorial Session](https://reader035.vdocuments.mx/reader035/viewer/2022070610/5aea1da67f8b9ab24d8cf14f/html5/thumbnails/112.jpg)
0–1 sec The delay precludes any influence of the control on the plant, soX(t) shows an exponential open-loop growth.
1–3 sec The plant starts responding to the control and its evolution changesqualitatively, resulting also in a qualitative change of the control signal.
3–4 sec When the estimation of D(t) ends at about 3 seconds, the controllerstructure becomes linear. However, due to the delay, the plant state X(t)continues to evolve based on the inputs from 1 second earlier, so, anon-monotonic transient continues until about 4 seconds.
4 sec and onwards The (X,U) system is linear and the delay is sufficientlywell compensated, so the response of X(t) and U(t) shows a monotonicallydecaying exponential trend of a first order system.