(石家莊鐵道大學 機械工程學院，河北 石家莊 050043)

0 引言

分數(shù)階微積分建模已經(jīng)廣泛應(yīng)用于生物學、力學、控制等眾多領(lǐng)域[1-2]。由于分數(shù)階控制比整數(shù)階控制能取得更好的控制效果，越來越多地被應(yīng)用于實際控制中[3]。在控制系統(tǒng)進行閉環(huán)反饋控制時，系統(tǒng)中不可避免的存在時滯[4]，而且時滯現(xiàn)象的存在會在一定程度上影響受控系統(tǒng)的穩(wěn)定性。時滯系統(tǒng)廣泛存在于各個工程領(lǐng)域，因此吸引了眾多學者的關(guān)注。胡海巖等[5]從動力學的角度對時滯動力系統(tǒng)的研究進展進行了綜述。王在華等[6]還綜述了時滯動力系統(tǒng)穩(wěn)定性與分岔方面的研究進展。張舒等[7]對耦合時滯誘發(fā)的動力學研究進展進行了綜述。

在分數(shù)階控制系統(tǒng)中，研究分數(shù)階微分方程的解析解或近似解析解具有重要的理論意義。而分數(shù)階微分方程解的存在唯一性是研究方程解析解或近似解析解的前提[8]。蔣威[9-10]研究了退化時滯微分系統(tǒng)的可解性，給出了通解形式，推導并證明了解的指數(shù)估計。劉可為等和Zhang X[11-12]證明了分數(shù)階線性時滯微分系統(tǒng)的解存在且唯一，并推導了在有限區(qū)間內(nèi)解的指數(shù)估計，給出了此類微分方程的通解形式。本文對基于電流環(huán)分數(shù)階PID控制的永磁同步電機進行分析和建模，得到一類含分數(shù)階微積分的時滯微分方程。對此類時滯微分方程的解的存在唯一性進行證明，并利用廣義的Gronwall不等式[13]，給出了解的指數(shù)估計的形式。

1 準備知識

定義1：設(shè)f(t)∈C[a,∞)，實數(shù)β>0，當t>a時，可積函數(shù)f(t)的β階Riemann-Liouville積分表示為

(1)

定義2：設(shè)0≤n-1<α

(2)

引理1：設(shè)x(t)∈Rn是下列方程的解

(3)

式中，A，B∈Rn×n,x(t),f(t),φ∈Rn。

根據(jù)文獻[9]可知方程存在唯一解

(4)

引理2(Gronwall不等式)：u(t),α(t)是在區(qū)間[a,b]上的連續(xù)實值函數(shù)，β(t)≥0而且在[a,b]上是可積函數(shù)，若

(5)

則有

(6)

如果α(t)還是非減函數(shù)，則有

(7)

引理3：函數(shù)f(t)=at1-α+bt1+δ-a(1-τ)1-α-b(t-τ)1+δ-aτ1-α+bτ1+δ在區(qū)間[τ,+∞]上存在最小值f(τ)=0。其中a>0，b>0,0<α<1，0<δ<1 。

證明

f′(t)=a(1-α)[t-α-(t-τ)-α]+b(1+δ)[tδ-(t-τ)δ]

(8)

(1)0<τ<1，當t∈[τ,1]時，f′(t)<0，函數(shù)遞減；當t∈[1,+∞)時，f′(t)>0，函數(shù)遞增。在區(qū)間[τ,+∞)上存在極小值f(τ)=0。

(2)1<τ，當t∈[τ,+∞]時，f′(t)>0，函數(shù)遞增。在區(qū)間[τ,+∞)上存在最小值f(τ)=0。證畢。

2 永磁同步電機時滯分數(shù)階PID控制建模

2.1 永磁同步電機矢量模型

永磁同步電機矢量控制的核心思想是將電機的三相電流、電壓、磁鏈經(jīng)過Clake坐標變換和Park坐標變換變到以轉(zhuǎn)子磁鏈定向的兩相參考dp坐標系。其中定子電流經(jīng)變換被分解為相互正交的2個分量：一個分量與磁鏈方向相同，代表了定子電流的勵磁分量；另一個分量與磁鏈方向正交，代表了定子電流的轉(zhuǎn)矩分量。矢量控制就是維持定子電流的勵磁分量不變，控制其轉(zhuǎn)矩分量，這種控制方式類似于直流電機控制中維持勵磁電流不變，通過控制電樞電流來控制電機的轉(zhuǎn)矩。矢量控制方法能使系統(tǒng)具有較好的動態(tài)特性。

有關(guān)參數(shù)如表1所示。

表1 永磁同步電機有關(guān)參數(shù)

永磁同步電機的矢量控制模型為

(9)

式中，Rs、RΩ、Ld、Lq、ψf、J、Pn分別為定子電阻、電機阻尼系數(shù)、直軸電感、交軸電感、定子磁鏈、電機轉(zhuǎn)動慣量、極對數(shù)。

2.2 時滯分數(shù)階PID控制

永磁同步電機電流環(huán)控制原理如圖1所示，控制對象包括PWM(脈沖寬度調(diào)制)逆變器(包括PWM信號形成、延時、隔離驅(qū)動及逆變器)、永磁同步電機的電樞回路、電流采樣和濾波電路。

圖1 電流環(huán)控制原理圖

永磁同步電機的數(shù)字伺服控制系統(tǒng)存在固有延時，系統(tǒng)的固有延時包括PWM逆變器延時(Tpwm)，電流采樣延時，濾波電路延時等。其中起主導作用的延時包括采樣延時和逆變器輸出延時，這2種延時決定于數(shù)字伺服系統(tǒng)所應(yīng)用的采樣方式及PWM占空比的更新方式。

在伺服控制系統(tǒng)應(yīng)用中，有2種電流采樣時序方式：單次采樣單次更新占空比方式(SSSU)以及雙次采樣雙次更新占空比方式(DSDU)。其中SSSU方式根據(jù)采樣時刻的不同又有2種采樣模式，載波周期中點時刻采樣與載波周期起始時刻采樣，分別記為SSSUM1模式和SSSUM2模式。

根據(jù)平均值等效原則，永磁同步電機伺服控制系統(tǒng)的3種固有延時分別為：SSSUM1模式的延時τ1=2Tpwm，SSSUM2模式的延時τ2=1.5Tpwm，DSDU方式的延時τ3=0.75Tpwm。

(10)

整理得電流環(huán)分數(shù)階PID控制的數(shù)學模型為

(11)

3 主要結(jié)果

3.1 解的存在唯一性

證明:由分步法，當t∈[0,τ]時

(12)

由引理1可知時滯微分方程在t∈[0,τ]上存在唯一解，表示為

(13)

當t∈[τ,2τ]時，此方程也存在唯一解，表示為

(14)

以此類推，假設(shè)方程在區(qū)間[(k-1)τ,kτ],k∈N+上的解為xk(t)，則根據(jù)引理1,可得x(t)在區(qū)間[kτ,(k+1)τ]上有唯一解，為

(15)

即時滯微分方程(12)在區(qū)間[0,+∞]上的解存在且唯一，證畢。

3.2 解的指數(shù)估計

在方程的解存在且唯一的情況下，推導此類含分數(shù)階微積分的時滯微分方程的解的指數(shù)估計。

定理2:設(shè)x(t)是時滯微分方程的解，且n維列向量φ(t)∈C([0,+∞))，0<α<1，0<δ<1 。則方程的解存在且唯一，并且解在[0,kτ]上有以下形式的估計

(16)

式中，矩陣A，B，C，E的范數(shù)取其行列式的最大特征值，矩陣的范數(shù)分別記為σa、σb、σc、σe；σmax=σc+σb,‖x(t)‖是向量x(t) 的矩陣范數(shù)，‖φ‖=sup|φ(t)|，σf是向量F的最大范數(shù)。

證明：對式(12)兩邊進行積分，當0≤t≤kτ時，有

(17)

則有

(18)

(19)

(20)

由引理3可知

(21)

故當0≤t0≤t≤t0+τ時，則有

(22)

式(21)證明了式(16)在0≤t≤τ時是成立的。假設(shè)當t∈[0,kτ]時，式(22)成立。在式(22)中令t0=t-τ，可得

(23)

當t∈[r,(k+1)τ]時，t-τ∈[0,kτ]。根據(jù)引理2，將式(16)代入式(23)中，有

(24)

證畢。

4 結(jié)論