研究系統的調節與控制的一般規律的科學。這裏敘述的控制理論是指20世紀50年代末至60年代初形成和發展起來的現代控制理論。它現在已成為一門獨立的學科,不僅有完整的理論體系,而且已經在諸如工程、生物、生態、社會經濟等許多領域有廣泛的應用。現代技術特別是現代空間技術的發展是形成控制理論的推動力,數學研究積累的成果為控制理論的形成和發展提供瞭重要工具,電子電腦的廣泛應用使控制理論的成果用於實際成為現實。當前,控制理論為實際系統的描述、分析綜合和設計、預測和決策等等問題提供瞭系統的理論和方法。由N.維納創立的控制論(cybernetic)是一門控制和通信的科學。由Л.C.龐特裡亞金、R.貝爾曼、R.E.卡爾曼等人作出瞭傑出貢獻的現代控制理論則是系統科學的一個組成部分,又是形成信息科學的一個基本方面。控制理論涉及的范圍很廣,它的方向很多。這裡就其中幾個目前被認為是主要研究內容、並在實際應用中十分廣泛的方面作一介紹。
控制理論不是直接研究現實世界中的受控對象,而是研究受控對象的模型。這裡說的“模型”是受控對象在一定程度上的數學描述,即數學模型,簡稱為控制系統。如果描寫受控對象的數學模型是線性的,則稱為線性控制系統,相仿地有非線性控制系統的稱呼。現實世界的受控對象多種多樣,例如受控剛體運動與受控彈性體振動兩者的受控機制和結果都不一樣,有隨機因素影響的受控剛體與沒有隨機因素影響的受控剛體的運動也很不一樣,因而描寫它們的數學模型的區別就很大。通常,數學模型由常微分方程或差分方程或微分 -差分方程表示的稱為集中參數系統;由隨機微分方程或隨機差分方程表示的稱為隨機控制系統;而由偏微分方程或偏微分-積分方程表示的稱為分佈參數控制系統。
線性控制系統理論 它是控制理論的一個重要分支,所研究的對象是線性控制系統,涉及的問題主要有系統描述、能控性和能觀測性、極點配置、觀測器等內容。
系統描述 線性控制系統是由下列向量微分方程和代數方程描述的。
![](/img3/6641.gif)
(1)
![](/img3/6642.gif)
, (2)
式中
x(
t)、
u(
t)、у(
t)分別是系統
![](/img3/6643.gif)
的
n維狀態向量、
r維控制向量、
m維量測向量,記之以
x∈
R
n、
u∈
R
r、у∈
R
m,
R
n、
R
r、
R
m分別表示
n維、
r維、
m維歐幾裡得空間;
A(
t)、
B(
t)、
C(
t)分別是
n×
n、
n×
r,
m×
n依賴於時間的矩陣。微分方程(1)稱為系統的狀態方程,它表征瞭系統狀態的動力學特征。代數方程(2)稱為系統的量測方程,它反映瞭系統的內部狀態與外部觀測之間的關系。當
A(
t)=
A、
B(
t)=
B、
C(
t)=
C,
A、
B、
C全是常值矩陣時,
![](/img3/6643.gif)
稱為定常系統。det[
sI-
A]為定常系統∑的特征多項式,det[
sI-
A]=0為它的特征方程,特征方程的根稱為系統的極點。這裡
I為
n×
n單位矩陣,
s表示復變量,det[·]表示矩陣[·]的行列式。狀態方程(1)的
t
0時刻以
x
0=
x(
t
0)為初態的解可寫作:
矩陣φ(
t,
t
0)叫做系統
![](/img3/6643.gif)
的狀態轉移矩陣。
能控性和能觀測性 這是由卡爾曼於1960年提出來的兩個基本概念,它們刻畫瞭系統
![](/img3/6643.gif)
的結構性質。
如果對在t0時刻任意給定的初態x0,存在某個時刻t1,t1>t0,和定義在時間區間[t0,t1]上的控制輸入函數u(t),使得在這個控制作用下,系統
![](/img3/6643.gif)
的狀態
x(
t)滿足
x(
t
1)=
O
n(
n維零向量),那麼就說系統
![](/img3/6643.gif)
在
t
0時刻是完全能控的。如果該系統在
t≥0的每個時刻都是完全能控的,就說它是完全能控的,簡稱系統
![](/img3/6643.gif)
是能控的。系統
![](/img3/6643.gif)
在
t
0時刻完全能控的充分必要條件是:存在某時刻
t
1>
t
0,使得矩陣
是正定的。當
![](/img3/6643.gif)
是定常系統時,其能控的充分必要條件是
![](/img3/6646.gif)
。
給定初始時刻t0,如果存在某個有限時刻t1,根據時間間隔[t0,t1]上量測輸出у(·)和控制輸入u(·)能夠惟一地決定系統
![](/img3/6643.gif)
的初態
x(
t
0),則稱
![](/img3/6643.gif)
在
t
0時刻是完全能觀測的。如果系統
![](/img3/6643.gif)
在
t≥0的每個時刻都是完全能觀測的,則稱它是完全能觀測的。簡稱系統
![](/img3/6643.gif)
是能觀測的。系統
![](/img3/6643.gif)
在
t
0時刻完全能觀測的充分必要條件是:存在某個時刻
t
1>
t
0,使得矩陣
是正定的。當
![](/img3/6643.gif)
是定常系統時,其能觀測的充分必要條件是
![](/img3/6648.gif)
。
極點配置 對於線性定常系統,它的一些特性(如穩定性、某些動態性質等)主要由其極點決定,因此在設計系統時,要配置極點。設系統
![](/img3/6643.gif)
是定常的,如果存在線性狀態反饋控制函數
u(
t)=
K
x(
t),使閉環系統
ẋ(
t)=[
A+
BK]
x(
t)以事先任意給定的
n個復數為它的極點,則稱系統
![](/img3/6643.gif)
是能任意極點配置的,或者說(
A,
B)是能任意極點配置的。這裡
K是
r×
n矩陣。定常系統
![](/img3/6643.gif)
能任意極點配置的充分必要條件是系統完全能控。
觀測器 在系統設計中,由於系統狀態常常不能直接量測到,僅依靠狀態反饋不能設計出物理上能實現的閉環系統;而能直接量測的是系統的輸入u和輸出у,所以可以利用系統的量測輸出у得到系統的一種估計狀態。假如定常系統
![](/img3/6643.gif)
是能觀測的,用極點配置的辦法可知,存在
n×
m矩陣
G,使
A-
G
C的特征值都具有負實部。於是下列線性定常系統
![](/img3/6649.gif)
(3)
具有性質
![](/img3/6650.gif)
稱系統(3)為系統
![](/img3/6643.gif)
的狀態觀測器。
X̂(
t)叫做系統
![](/img3/6643.gif)
的估計狀態。使用估計狀態反饋和觀測器可以得到系統
![](/img3/6643.gif)
的一個動態補償器
由此得到的閉環系統
是漸近穩定的。
最優控制理論 是控制理論中最早發展的分支之一。對於控制系統,常常要求找到控制函數,在它的作用下,系統從一個狀態轉移到所希望的狀態,並且還希望控制方式是最好的。這就是最優控制問題。
問題的提法 設有非線性受控系統,它由下列非線性向量微分方程描述
![](/img3/6653.gif)
(4)
這裡,控制向量
u通常不能任意取值,它受有限制,用
u屬於
R
r中某個有限閉區域
U
r來表示,即
![](/img3/6654.gif)
設
x
0是給定的初態,
x
f是控制作用結束或控制過程結束時系統(4)的狀態,簡稱為終端狀態或末狀態。它可以是自由的,也可以是受限制的。用定義在某U上的泛函
![](/img3/6656.gif)
(5)
來表示控制方式的優劣,稱為系統(4)的性能指標。其中
t
0、
t
f分別是控制過程的初始時刻和終止時刻(可以是事先指定的,也可以是待求的),U是定義在有限時間區間上、把系統(4)的
t
0時刻的狀態
x
0轉移到
t
f時刻的狀態
x
f、並在
U
r中取值的控制函數
u(
t)的全體,稱為容許控制函數集合。
x(
t)是系統(1)的相應於
u(
t)的解。
f
0(
t,
x,
u)是
t,
x,
u的已知函數。所謂最優控制問題是指在U中尋找一個控制函數,使(5)中
J[
u(·)]取極小(或極大)。如果使
J[
u(·)]取極小(或極大)的控制函數存在,記為
u
*(
t),稱它為(4)、(5)的最優控制。在
u
*(
t)的作用下,系統(4)的
t
0時刻以
x
0為初態的解
x
*(
t)稱為(4)、(5)的最優軌線,對應於
u
*(
t)、
x
*(
t)的性能指標值
稱為最優指標值,而
t
f
*是最優過程終止的時刻。
極大值原理 這是1958年由Л.С.龐特裡亞金等人提出的,它是最優控制滿足的必要條件。這裡就下列特殊情況來敘述,即:①(4)、(5)中的f及f0不顯含時間t;②對U中任一控制函數u(t),f(x,u(t))滿足使(4)的初值問題的解存在惟一性條件;③終端狀態xf受形如g(xf)=0的約束,g(x)是x的連續可微分標量函數,且
![](/img3/6660.gif)
定義系統(4)和性能指標(5)的哈密頓函數
h(
x,
ψ
0,
ψ,
u)為:
又
極大值原理的內容是:如果
u
*(
t)是(4)、(5)的最優控制,
x
*(
t)是(4)、(5)的最優軌線,那麼必定存在非零函數
ψ
0(
t)、
ψ(
t),它們和
u
*(
t)、
x
*(
t)一起在[
t
0,
t
f
*]上滿足:
①
在[
![](/img3/6670.gif)
]上除有限個時刻外處處成立。
ψ
0,
ψ叫做(4)、(5)的共軛變量或協態,它們滿足的微分方程叫做共軛方程。
② 在[
![](/img3/6670.gif)
]上成立
③ 當
![](/img3/6674.gif)
時,有
\
n
μ為非零的待定常數。
又,如果①、②成立,則
![](/img3/6680.gif)
在區間[
![](/img3/6670.gif)
]上恒等於常數。
極大值原理包含瞭為確定u(t)、x(t)、ψ0(t)、ψ(t)的全部關系式,但要具體確定出這些函數並不容易。當f(x,u)是x、u的線性函數(即(4)是線性定常系統)且J[u(·)]是工程實際中有意義的特殊性能指標時,從極大值原理可以惟一地確定出最優控制和最優軌線。
時間最優控制(快速控制)問題 即
![](/img3/6682.gif)
(6)
![](/img3/6684.gif)
(7)
![](/img3/6686.gif)
(8)
式中
![](/img3/6690.gif)
表示
u的行向量。如果,①U非空;②
![](/img3/6694.gif)
則系統(6)的把
x
0轉移到
x(
t
f
*)=
O
n的時間最優控制
![](/img3/6696.gif)
存在且惟一,並具有下列形式
式中sgn(·)表示(·)的符號函數;
μ
T是待求的
n維的行向量。
線性二次最優控制(LQ)問題 即
![](/img3/6700.gif)
=
A
x+
B
u, (9)
x(t0)=x0,x(tf)自由, (10)
![](/img3/6702.gif)
(11)
式中
Q是
n×
n非負定對稱矩陣;
R是
r×
r正定對稱矩陣,
t
f固定。由極大值原理知(9)、(10)、(11)的最優控制
u
*(
t)和最優軌線
x
*(
t)滿足
式中
P
*(
t)是下列黎卡提矩陣微分方程終值問題
![](/img3/6706.gif)
的
n×
n非負定矩陣解,其中
θ
n為
n×
n零方陣。
非線性控制理論 是現代控制理論中較晚發展起來的一個分支,60年代末發展起來,70年代以後愈來愈多地為人們所重視。與線性系統理論相似,能控性、能觀測性、穩定性、調節問題、系統解耦問題、幹擾解耦問題、最優控制問題、微分對策問題等等是它研究的重要內容。不同的是,近年來,分岔、失穩與控制、混沌等問題也出現在非線性控制理論的研究領域內。非線性控制系統由下列非線性向量微分方程和非線性函數方程描述,
![](/img3/6708.gif)
(12)
у=H(t,x,u), (13)
式中
t、
u、
x、у的意義同前;
f、
H是
t、
x、
u的非線性向量函數。(12)描述瞭非線性控制系統狀態
x的動力學特征,(13)表示系統狀態
x、控制輸入
u與量測輸出у之間的非線性關系。
能控性問題 對於非線性定常控制系統
![](/img3/6709.gif)
, (14)
如果存在r維向量控制函數u(t),使(14)的t0時刻以x0為初態的解x(t,x0)在某時刻t1(t1>t0)滿足
![](/img3/6710.gif)
,則稱
x
0是系統(14)的能控狀態;如果
R
n中每個
x都是(14)的能控狀態,則稱系統(14)是完全能控的。如果
R
n中某區域
D內的每個
x都是(14)的能控狀態,則說系統(14)在
D內是能控的。如果系統(14)在原點
x=
O
n的某鄰域內是能控的,則稱它是局部能控的。
設(14)中f是x,u的二次連續能微分向量函數,且
![](/img3/6711.gif)
記
如果秩條件
![](/img3/6713.gif)
成立,則系統(14)是局部能控的。當貝爾曼型偏微分方程
![](/img3/6714.gif)
(15)
![](/img3/6715.gif)
, (16)
在
R
n中存在正定解時,非線性控制系統(14)是完全能控的,並且(14)的以
![](/img3/6716.gif)
為性能指標的最優控制函數存在。這裡
l(
x,
u)是某個給定的在
R
n×
U
r上定義的正定標量函數,
t
1是某個大於零的時刻。
調節問題 對於非線性控制系統(14),如果存在依賴於狀態x的控制函數u(x),使得將u(x)代入(14)後得到的系統──閉環系統
![](/img3/6717.gif)
(17)
是漸近穩定系統,則稱系統(14)是能調節的;如果(17)是全局漸近穩定的,則說系統(14)是全局能調節的;如果(17)在包含原點
x=
O
n為內點的某區域
Ω內是漸近穩定的,則稱(14)在
Ω內是能調節的;如果(17)在原點
x=
O
n的某領域內是漸近穩定的,則稱(14)是局部能調節的。這樣的控制函數
u(
x)叫做(14)的非線性狀態反饋,又叫做(14)的調節器。
設(14)中f是x,u的二次連續能微分向量函數,且f(On,Or)=On,如果秩條件
![](/img3/6718.gif)
成立(
A,
B的意義同前),則非線性系統(14)是能局部調節的。如果貝爾曼型偏微分方程
![](/img3/6719.gif)
(18)
V(On)=0 (19)
在
R
n中存在正定解,則非線性控制系統(14)是全局能調節的。這裡
l
1(
x,
u)是定義在
R
n×
R
r中的正定標量函數,且當
![](/img3/6720.gif)
時,
自70年代以來,R.W.佈勞克特、H.J.薩斯曼、H.赫姆斯、B.雅庫佈奇烏克等人運用李代數、微分幾何等數學工具研究流形上的非線性控制系統,在系統的能控性、能觀測性、可逆性、系統的幹擾解耦、最優控制等方面得到瞭很有啟發性的結果。同時,人們還研究瞭通過非線性坐標變換和非線性狀態反饋將一類非線性控制系統(如雙線性系統)局部地或全局地變換為線性系統的問題,從而能夠利用線性系統的理論和方法進行討論。
隨機控制系統 是指帶有隨機幹擾的動態系統,對它的主要研究內容有系統辨識、適應控制、狀態濾波和隨機控制。
系統辨識 對一個客觀的物理系統,為瞭控制它或預測它的發展,必先根據系統的輸入和輸出建立起它的數學模型,這就是系統辨識。如果用隨機差分方程來描述要辨識的動態系統:
![](/img3/6722.gif)
(20)
則系統辨識的任務就是依據輸入{
u
k}及輸出{у
k}來估計系統的階數(
p,
q)、系統的未知參數
![](/img3/6723.gif)
以及系統噪聲ε
n中可能出現的未知參數。當系統的階數已知,並且不計ε
n中的未知參數時,動態系統(20)變成線性回歸模型
![](/img3/6724.gif)
(21)
但它不同於
數理統計學中經典的線性模型,因為這裡的
![](/img3/6725.gif)
是隨機的。
對θ的估計,最常用的是最小二乘法,在n+1時刻,它表達為
並且可以遞推地計算。如果ε
n是一個滑動平均過程ε
n=
![](/img3/6727.gif)
其中
C
i(
i=1,…,
r)也要估計,那麼隻要把
θ和φ
n相應地擴大為
![](/img3/6728.gif)
,
最小二乘辨識的公式仍可用。使
θ
n收斂到
θ的條件,收斂速度,對系統階數的估計等都是系統辨識研究的內容。
適應控制 如果不僅參數θ未知,同時又要按一定性能指標選控制作用{un}(前述的,對輸入un沒有要求),這就是適應控制。最簡單的一種是適應跟蹤,即:θ未知,並要選{un}使輸出уn盡可能好地跟蹤一個已知的確定性訊號уn*。從(21)可以看出,當噪聲 εn不能預報時,對уn的最優預報是
![](/img3/6730.gif)
但
θ是未知參數,隻知道對它的估計值
θ
n-1,所以對у
n可采用的預報值是
![](/img3/6731.gif)
為瞭使у
n與у
n
*的差別盡可能地小,很自然地要選
u
n
-1使
![](/img3/6732.gif)
這樣選取的適應控制,可使系統在下列意義下穩定:
並且跟蹤誤差可以漸近地達到最小。當у
n
*取不依賴於
n的常值時,適應跟蹤器通常叫做自校正調節器。
適應控制也考察比跟蹤問題更一般的指標。
狀態濾波 上面討論的是輸入輸出模型,沒有把中間狀態的發展情況刻畫出來。實際的隨機系統經常用一對隨機差分方程來描述,即狀態xk的轉移方程
![](/img3/6734.gif)
(22)
和量測方程(它可能隻觀測部分狀態,而不是全部
x
k)
![](/img3/6735.gif)
(23)
{
ξ
k}表示系統的隨機幹擾。當系統的系數矩連Ф
k、
B
k、
D
k、
C
k、
F
k已知時,狀態濾波就是用量測量(у
0,…,у
k)求
x
k的最小方差估計(見
點估計)
X̂
k。
X̂
k的遞推表達式叫卡爾曼濾波(見
濾波):
它的前兩項是依狀態方程來發展的,最後一項是修正項,
K
k叫增益矩陣,它可以遞推地計算。當系統的系數矩陣為常矩陣時,
K
k可能趨於常矩陣,這時就得到穩態濾波器,它便於計算。
對連續時間的非線性系統,濾波方程由無窮個隨機微分方程組成,一般隻能近似求解,但對條件正態過程,它是封閉的方程組。對線性系統,濾波方程叫卡爾曼-佈西濾波。
隨機控制 對系統(20)、(21)或(22)、(23),設系數矩陣已知,uk隻依賴於過去的量測,並要使某一性能指標達最小,這就是隨機控制問題。對此,解決得最完整的是二次性能指標。對系統(22)、(23),就是要使
達最小,
![](/img3/6738.gif)
為非負定矩陣,E為
數學期望。當{
ξ
k}為零均值的不相關隨機向量時,最優控制是
X̂
k就是上面得到的濾波值,
l
k是反饋增益,它就是系統退化為確定性系統時,二次指標下最優控制的反饋增益。這個事實叫分離原理。對連續時間系統,盡管有隨機極大值原理,但除瞭二次指標問題已解決外,其他方面實質性的結果不多。
分佈參數控制系統 現代控制理論的一個重要分支,研究的對象是用偏微分方程或偏微分-積分方程描述的系統。例如,描述溫度場、彈性振動、核反應堆等系統都是分佈參數系統。它同前面講的用常微分方程描述的集中參數系統不同,其狀態空間是某一個函數空間,在每一瞬間的狀態是函數空間中的一個函數。這就是說,系統在每一瞬時的狀態,不能用有窮個參數來確定,必須用無窮個參數才能確定。研究這類系統需要用泛函分析、現代偏微分方程理論等現代數學工具。
分佈參數系統研究的內容是系統的辨識、系統的濾波和系統的控制。
分佈參數系統的辨識,從某種意義上講也是一種建立模型。辨識研究的問題是一個分佈參數系統的結構已知,但這個系統有一部分是未知的,對該系統的某些物理量進行量測(這些物理量含有未知部分的信息),依據這些量測量來確定出系統的未知部分。辨識問題在工程、技術中很多也很重要。
例如,油田在開發過程中,油的壓力變化規律用下面的偏微分方程來描述:
式中
p(
x,
y,
t)表示在
t時刻坐標為(
x,
y)點處油的壓力,
h是油層的厚度,
μ是石油的粘度,
β是壓縮系數,
q
i(
t)是第
i口井的產量密度,(
x
i,
y
i)是第
i口油井位置坐標,
Ω是油儲區域,Г是油層區域的邊界,
φ是孔隙度,
K(
x,
y)是滲透系數,未知的地質參數。
在打井的位置(xi,yi)(i=1,2,…,N)可以直接得到K(xi,yi),但是在油田的其他點處,不能直接得到K(x,y),通過在每口井處量測的壓力和流量來確定出滲透率K(x,y),掌握瞭K(x,y)的變化規律,就可以瞭解油田每口井的產量的變化。
辨識出系統的未知部分後,系統就完全確定。如果外部隨機幹擾對系統有影響,還需要對系統進行濾波,以減少噪聲對系統的影響。系統經過辨識和濾波後,如果還需要選擇系統的某些參數,使其具有人們需要的某種最好的性能,這就是最優控制問題。
例如,一細長的金屬桿一端加熱,熱量在桿中的傳導服從下面的熱傳導方程:
式中Л是金屬桿長度,
α(
x)是熱傳導系數,
u(
t)是未知函數,稱為控制量。問題是要選擇一種加溫方法,即選擇一控制函數0≤
u(
t)≤
A(
A為常數),使得加溫到
T時刻,金屬桿中的溫度分佈為所要求的溫度分佈
Q
*(
x),也就是選擇一個
u
*(
t),使得泛函
達到極小,即