∫
a
∫
x1
x2
+ + +
u
1
∫
b
-b
2 ∫
x&
第二章 文 獻 探 討
2.1 滑動模式控制理論
2.1.1 滑動模式控制系統理論背景
可變結構系統(Variable Structure Control,VSC),在 50 年代初期,由 蘇俄科學家 Emel’yamov 所提出控制理論[19],應用於非線性時變控制系 統[23,24],被成功應用到控制工程領域[14,18],它是由改變系統結構,形 成 許 多 子 結 構 , 而 得 到 自 己 想 要 性 能 的 系 統 , 期 望 初 始 狀 態 點
(representative point,簡稱 RP)能依自己所設計控制器,到達滑動面並平 穩收斂原點,達到穩定狀態,在設計控制器可區分二階段,一為到達模式,
狀態點可依自己所設計設定的時間內到達滑動線,但易受系統參數變動及 外 部 干 擾 的 影 響 , 在 滑 動 模 式 由 於 高 度 的 切 換 動 作 造 成 顫 動 現 象 [20,21,22],將會使系統產生不想要的高頻成分,甚至造成系統不穩定,當 狀態點進入滑動模式時系統動態由滑動模式所掌握,此時系統有降階的功 能,並不受參數變動及外部干擾,因此系統具有強健性[25,26,29]。以一個 二階線性非時變系統為例,描述滑動模式控制原理,其架構圖如下所示:
圖 2-1 滑動模式控制之二階線性系統方塊圖 可列出二階狀態方程式如下所示:
x1
x2 漸近線
x1
x2
x u x a x
x
+
=
1 0 1
1 0
2 1
2 1
&
&
(2-1)
= −
1 1
bx
u bx b>1 (2-2)
令x1 = y,若開關切換至上端 ,則u= bx1,轉換成二階線性微分方程式如 下: &y&−ay&−(b+1)y=0 (2-3) 假若a=0時,則(2-3)式可區分為兩種不同子結構的方程式如下:
x&&1 −(b+1)x1 =0 ,u=bx1 (2-4) x&&1 −(−b+1)x1 =0 ,u=−bx1 (2-5) 由(2-4)式得知方程式特徵根分別為λ1 = b+1與λ2 = − b+1,兩根為 一正一負實根,則此系統的相位平面圖為雙曲線,由(2-5)式得知方程式特 徵根為λ1 = −b 1+ i與λ2 = − −b 1+ i,兩根為共軛虛根,則此系統的相位 平面圖為橢圓,如下圖所示:
圖 2-2 u=bx1 相位平面圖 圖 2-3 u= −bx1 相位平面圖
漸進線 漸進線
雙曲線
雙曲線 橢圓
滑動線 x2
x1
根據滑動模式控制法則如下:
0 0 ,
,
1 1
1 1
≥
<
= −
sx sx if if bx
u bx (2-6)
滑動函數可設計為如下:
1 , 2
2 2 1 1 2
1
= +
=
=∑
=
c x c x c
x c s
i i
i (2-7)
此二階線性非時變系統,有兩控制器隨著開關上下,而有不同的控制 量,開關朝上時,控制量為u= bx1,相位平面圖為雙曲線,若開關朝下時,
控制量為u=−bx1,相位平面圖為橢圓,系統被劃分兩個子結構,很難讓 系統穩定,能夠適時設計開關時刻,即設計滑動函數的係數之滑動線,系 統響應與原先系統有不一樣的結果,若滑動線設計在漸進線下方時,開關 朝下,則狀態點由橢圓順滑到滑動線時,即開關改變方向朝上,進入雙曲 線,交替變換,狀態點隨者滑動線慢慢趨近原點,如下圖所示:
圖 2-4 滑動線在漸進線下方之相位平面圖
若滑動線設計在漸進線上方時,開關朝下,則狀態點由橢圓順滑到滑
漸進線 漸進線
雙曲線
雙曲線 橢圓
滑動線 x2
x1
動線時,即開關改變方向朝上,進入雙曲線,順滑到滑動線時,即開關改 變方向朝下,進入橢圓結構,反覆切換系統結構,最後狀態點順著滑動線 顫動收斂到原點,如下圖所示:
圖 2-5 滑動線在漸進線上方之相位平面圖
狀態點一旦進入滑動線,並順滑在滑動線上,滑向原點,此稱為滑動 模式,狀態點進入滑動模式,不受系統參數變動與外部干擾所影響,系統 的動態響應,由滑動線所控制與決定,可由下列滑動函數之微分方程式:
2 0
1
1 + =
=c x x
s (2-8)
1 0
1
1 +c x =
x& (2-9) 求得解:
) ( 1
1
) 1
( )
(t x ts e c t ts
x = ⋅ − − (2-10)
c 為滑動函數之係數,即為滑動線之斜率,1 t 為狀態點進入滑動模式之時s 刻。
滑動線
到達模式 滑動模式
初始狀態點
x1
x2
2.1.2 滑動模式控制
初始狀態點,位於相位平面圖中任何一個位置 ,能夠到達滑動線的 過程,稱為到達模式,狀態點在滑動線上顫動直到收斂到原點的過程,稱 為滑動模式,如下圖所示:
圖 2-6 相位平面圖
以 n 階線性非時變系統為例,採用單輸入單輸出(SISO),其動態方程式 數學模式表示如下:
x d
b Ax x y T
u
= +
=
&
(2-11)
n n n
a a
a ×
=
L L L L L
L L L L
M M M M M M
L K L
2 1
1 0 0 0
0 0
0 0
1 0 0
0 0
1 0
A
n
bn×
= M M M 0 0
b (2-12)
y是輸出信號,A是受控體之系統參數矩陣,u是控制器輸出值,x∈Rn, R1
u∈ ,y∈R1,其中 x=[x1 x2 L xn−1 xn]T,根據滑動模式控制器之 設計步驟,首先選取滑動函數如下:
∑=
+ + +
=
= n
i
n n i
ix c x c x c x
c s
1
2 2 1
1 L (2-13)
狀 態 點
x1
<0 s&
<0 s x2
=0 滑 動 線s 滑 動 線 上 方
滑 動 線 下 方
狀 態 點
>0 s&
>0 s
滑 動 函 數 變 化 率 滑 動 函 數 變 化 率
其中c=[c1 c2 K cn] 為滑動函數之係數,cn =1,並假設滑動函數s=0 下系統是穩定,可由s&=0推導出等價控制率,將滑動函數一次微分如下:
0 )
( + =
=
= u
s& c &x c Ax b (2-14) cAx
cb) 1 ( −
−
=
u (2-15) 此時控制率u=ueq稱為等價控制率,則u 為如下:eq
cAx cb) 1 ( −
−
eq =
u , cb ≠0 (2-16) 當系統之狀態點進入滑動模式時,系統狀態方程式成為如下:
x cA cb b A cAx cb
b Ax
x& = − ( )−1 = ( − ( )−1 ) (2-17) 則(A−b(cb)−1cA)矩陣之特徵根必須設計全部落於在s平面之左半平面,
才 能 保 證 系 統 進 入 滑 動 模 式 能 使 收 斂 至 原 點 , 特 徵 根 的 值, 取 決 於
[c1 c2 K cn]
=
c 向量之係數,一但系統進入滑動模式時,系統之特性
由 滑 動 函 數 所 控 制, 狀 態 點 無 論 在 滑 動 線 下 方s<0 或 在 滑 動 線 上 方
>0
s ,要到達滑動線需要配合狀態點移動速度變化率的方向,即是滑動函
數變化率s&,才能到達滑動線,如下圖所示:
圖 2-7 狀態點到達滑動線相位平面圖
若狀態點位於滑動線上方s>0,趨使狀態點朝向滑動線s=0移動,則 必須使s隨者時間而遞減,並在有限時間內到達滑動線s=0,即是s&<0, 同理狀態點位於滑動線下方s<0時,趨使狀態點朝向滑動線 s=0移動,
則必須使 s隨者時間而遞增,並在有限時間內到達滑動線s=0,即是
>0
s& ,可歸納出狀態點要到達滑動線數學公式,如下所示:
<0 s
s& (2-18) 並可在有限時間內到達滑動線s=0,依 Lyapunov 定理可求得:
s 2
v= 1 2 (2-19) 欲使能量函數v隨者時間而遞減,而對v一次微分為負值,即為如下:
0 s s
v& = &< (2-20)
由此可知v&<0 呈現遞減收斂函數,則保證系統在有限時間內接觸滑動線,
為符合到達模式條件成立,令指數到達法則如下:
s s s
s&= − − (2-21)
0
2 2 − <
−
= s
s s s
s& (2-22) 可保證到達模式以指數型態到達滑動線,到達模式控制律為∆u,建構如 下:
) (
) ( 1
s s s u= − −
∆ cb − (2-23)
到達模式有幾項特性,易受系統參數及外部雜訊干擾影響系統暫態響應。
總控制率u為u 與eq ∆u之和,如下所示:
u=ueq +∆u (2-24) )
( ) ( )
( 1 1
s s− s
− +
−
= cb − cAx cb − (2-25) 由於滑動函數在相位空間劃分數個子結構,狀態點進入滑動模式時,
在子結構之間滑動面來回穿梭,即開關不斷的切換,並無法停留在滑動面 上,此種現象稱為顫動,顫動現象會引起許多不當的高頻雜訊,甚至造成 系統不穩定。
G PLANT
r +
_
+ u
e& e
∫
f SMC
y
gT
x
s
+
2.1.3 積分型滑動模式控制器
積分型滑動模式控制器,是積分器結合滑動模式控制器,如下圖所示:
圖 2-8 積分型滑動模式控制器方塊圖 系統動態方程式描述如下:
) (t, )
Ä
( + +bu+ f x
= A A x
x& (2-26)
i n
i
i n
T x
y= = ∑= +−
1
â 1
x
c (2-27)
, 1
1
= +
= +
= ∑=n i n
i i
T eG g x g
eG
s g x (2-28) y
r
e&= − (2-29) y是輸出信號, c 是輸出向量為[ ân ân−1 K â2 â1],r是輸入命 令值,G積分型控制器之增益, A是受控體之系統參數矩陣,ÄA是受控 體之系統參數變動量矩陣, f(t, x)是外部干擾,u是控制器輸出值,(Á,b) 為可控制型, x∈Rn,u∈R1, f ∈R1,y∈R1
設計 ISMC 控制器步驟如下:
1.決定控制律
首先,取得滑動函數s,如下:
Tx g Ge
s= + (2-30) 針對滑動函數s,微分一次項,取得s&
)) (t, )
Ä ((
)
(r y g bu f x G
g e G s
T T
+ + +
+
−
= +
=
x A A x&
&
&
(2-31)
控制律u可分解如下:
u u
u = eq +Ä (2-32) ueq稱為等價控制律,在Ä A=0及f(t, x) = 0,條件下,由s&=0,求得:
( ) ]
[ )
(gTb -1 − + gTAx
−
= G r y
ueq (2-33)
= 1 b
gT (2-34) u
Ä 稱為到達模式控制律,為保證滑動模式會收斂,Äu建構如下:
) 0 , , (
Ä 1
1
+ >
−
−
= ä k
ä s ks s
u (2-35) 帶入(2-31)式可使
ä1
s ks s
s&=− − + (2-36) 保證系統必能收斂。
0
1 2
2 ≤
− +
−
=
= s ä
ks s s s
v & (2-37)
2.決 定 滑 動 函 數 係 數 與 積 分 器 增 益
當系統在滑動模式下s=0時,系統將減少一階,系統所有動態行為由 滑動函數所控制,下列為滑動模式下數學模型,由s=0時,可得到:
) 1 ( 1
1
Ge x
g g
x i
n
i i n
n = − ∑=− + (gn = 1) (2-38) 在s=0時,滑動模式下xn的狀態可由g1x1,K,xn 1− ,G,e等狀態變數所組成。
將(2-38)式代入(2-27)式,得到:
n n
i
i i n n
i
i i n
x x
r
x r
y r e
1 1
1 1 1
1
â â
â
−
−
=
−
=
−
=
∑
∑
−
= +
−
= − +
&
â â ( )
1
1 1 1
1
1x g x Ge
r i
n
i i n
i
i i
n + +
−
= ∑ ∑−
=
−
= +
−
g x Ge r
n
i
i i i i
n + + +
−
=∑−
= −+ 1
1
1
1 â ) â
â
( (2-39) 在滑動模式下整個系統動態行為,由下列動態方程式所決定:
r Ge x
g e
Ge x g x
n i
x x
n
i
i i i i n
i n
i i n
i i
+ +
+
−
=
+
−
=
−
=
=
∑
∑
−
= −+
−
=
− +
1 1
1
1 1
1 1
1
â ) â â
(
) (
2) , , 1 (
&
&
& K
(2-40)
可將寫成矩陣形態為:
br Ax+
=
x& (2-41)
r
e x
x x
G g g
- g - g
G g
g g
e x
x x
n n
n
n n n
n n
n
n n
1 1
1 2 1
1 2 1 1 1
2 2 1
1
1 2
1
1 1 2 1
1 0 0 0
â - â â
â â
â
- -
-
0 0
1 0
0
0 0
0 1
0
×
×
−
− ×
−
−
×
−
+
−
=
M M
K K
L L
M M
M M M
M
K K
&
&
M
&
&
(2-42)
亦即:
1 1 2 1
×
−
=
n n
e x
x x
&
&
M
&
&
&x (2-43)
n n n
n n
n
G g g
g g
G g
g A
− ×
−
−
−
=
1 2 1 1 1
1 2 1
1
1 2
1
â - â â
- â â
- â
- g
- -
0 0
1 0
0
0 0
0 1
0
K K
L L
M M
M M M
M
K K
(2-44)
1 1
0 0 0
×
=
n
b M (2-45)
系統的特徵方程式如下:
0 -A = I
s (2-46) 設計上(2-45)式特徵根為負數,則系統保證為收歛穩定系統。亦為下式所 示:
1) , 1, ( 0 lim
0
lim = −
→
→
∞
→
∞
→ i n
e x
t
t i K
&
&
(2-47)
其中e&為系統的誤差,當時間趨近無限長,則系統的誤差趨近零,整個系
統將是零穩態誤差
將(2-43)式代入(2-45)式可得如下:
G g s g
g g
G g
s g
s
s
n n
n
n
1 2
1 1 1
1 2 1
1
1 2
1
â â â
â â
â
g
0 0
1 - s
0
0 0
0 1
-
-
− +
− +
− +
−
+
=
−
−
−
K K
L L
M M
M M M
M
K K A
I (2-48)
s s
G g
s g
g s s
n n
n 2 1 1
1 2
1
â â â
â
0 0
1 0
0 0
0 1
+ +
−
−
=
−
−
K K
L L
M M
M M M M
K K
(2-49)
] s
) [(
- ] )
[(s gn-1 sn 2 gn-2sn 3 g1 G 1s 2 sn-2 3 n-3 n
s + + + + β +β +β + + β
= − − K K
0 )
- ( )
- ( )
-
( -1 β1 -1 + -2 β1 -2 + + 1 β 1 − β =
+
= n− n
n n
n n
n g G s g G s g G s G
s K (2-50)
利用狀態回授及極點配置法,可設計所要的特徵根為λ1,λ2,K,λn,而特徵 方程式為如下:
0
á á
á
) (
) )(
(
2 - n 2 1 - n 1
2 1
=
+ + +
+
=
−
−
−
n n
n
s s
s
s s
s
L L λ λ
λ
(2-51)
比較(23)式及(24)式,決定滑動函數係數g1,g2,K,gn與決定積分器增益G 如下:
n n n
n n n- n- n- n-
n n n- n- n- n-
n n
á á
G á g
á á
G á
g
á á
G á g G á
â â â
â â â
â â â
â
1 1 1 1
1
2 2 2 2
2
1 1 1 1
1
−
= +
=
−
= +
=
−
= +
=
−
=
−
M
(2-52)
2.1.4 積分型滑動模式控制器之數位模擬與分析
1. 數位模擬
以受控體為三階線性非時變(SISO)系統為例
u y y
y
y ′′′ − 4 ′′ −16 ′ +12 = 以三階為例,狀態方程式如下:
u x
x x
x x x
+
−
=
1 0 0
4 16 12
1 0 0
0 1 0
3 2 1
3 2 1
&
&
&
[ ]
=
3 2 1
0 0 1
x x x y
y r e&= −
而系統特徵根分別為 0.6593,-2.9114, 6.2521 故系統在開迴路是不穩定 因而吾人設計 ISMC 系統其特徵值為-2,-3,-4
0 24 26 9
) 4 )(
3 )(
2 ( -
2
3 + + + =
=
+ + +
=
s s
s
s s s sI A
即得α1 = 9,α2 = 26,α3 = 24,β1 = 0,β2 = 0,β3 = 1便可設計滑動函數之參 數值為及積分器之增益值:
24
3
3 = −
β
− α
= G
g1 = α2 + Gβ2 = 26
9
â â â
3 1 1 1 1
2 = á +G = á − án =
g
g3 = 1 可選定滑動函數如下:
e x
Ge x g x x
x x
g g
s
3 24
2 1
3 3 2 2 1 1
9
26 + −
=
+ +
+ +
=
狀態變數初值
=
0 0 0
3 2 1
x x x
) 24 13
42 12
( x1 x2 x3 e ueq =− + + − &
y r s
s s
u= − − + + − 10 100
Ä
設定r =1,取樣時間 t=0.01 秒,模擬結果,分別如下圖所示:
0 2 4 6 8 1 0 - 1
- 0 . 5 0 0 . 5 1 1 . 5 2
t i m e ( s )
system response
x1 x2 x3
0 2 4 6 8 1 0
0
0 2 4 6 8 1 0 0
0 . 1 0 . 2 0 . 3 0 . 4 0 . 5 0 . 6 0 . 7 0 . 8 0 . 9 1
t i m e ( s )
y (output)
0 2 4 6 8 1 0
- 0 . 2 5 - 0 . 2 - 0 . 1 5 - 0 . 1 - 0 . 0 5 0 0 . 0 5 0 . 1
t i m e ( s )
sliding function
(b) 滑動函數響應圖
(c) 輸出時間響應圖 圖 2-11 ISMC 之時間響應圖 2. 分析
在模擬過程中,得知可適用於開迴路不穩定系統,由圖 9 可觀察系統 各狀態變數時間響應曲線,以狀態變數為系統之輸出值即x1 = y,狀態變 數暫態響應曲線無超越量,在有限時間之內,到達穩定狀態,由圖(a)可觀 察誤差時間響應曲線,隨著時間增長,而快速收斂至零誤差,由圖(b)可觀 察滑動函數時間響應,隨著時間增長,而快速收斂到滑動面s=0,由圖(c) 可觀察輸出時間響應曲線,系統輸出穩態誤差為零,提升系統暫態響應與
2.2 模糊理論
2.2.1 模糊理論之背景
模糊理論在 1965 年由美國 Zadeh 查德教授,提出模糊集合的觀念,以 模糊邏輯推理仿似人類的思考模式,描述日常生活中的事物,以彌補明確 的值來描述事物的缺點。模糊控制理論在 1974 年成功應用於蒸汽機之速 度控制上,引發許多不同領域的研究人員對此作深入的研討,並應用最為 廣泛,如工業控制與家用電器上,模糊控制理論已應用在人們的日常生活 中,在各個領域中,並獲得豐碩的成果。
2.2.2 模糊集合
傳統集合與模糊集合的差異性,在於符號表示方式不盡相同,傳統集 合以 A 表示時,而 (x)
µA 定義為傳統集合 A 的特徵函數,特徵函數只取 0 與 1 兩值敘述集合,也就是 (x)
µA 不是 1 就是 0,模糊集合以
A 表示,而~
) (
~ A x
µ 定義為模糊集合
A 的歸屬函數,歸屬函數以取連續數值敘述集合 ,~
) (
~ A x
µ 的值是界於[ ]0,1 之間。
模糊集合之表示法如下:
1.連續型歸屬函數表示法
集合的元素是有無限個,則模糊集合
~
A 表示法如下:
∫
= x
x
A A
) (
~
~
µ
(2-53) 2.非連續型歸屬函數表示法
集合的元素是有限個,則模糊集合
A 表示法如下:~