现代控制理论 复习第三章
现代控制理论3 第三章 线性系统的可控性和可观测性
A'
0
0
0
a0 a1 a2
0
0 可
0
0
B'
控 标
1
an1
0 1
准 形
AT=A’
BT=B’
0 0 0 1 0 0 A 0 1 0
a0
a1
C 0
0 1
0 0
a2
可观标准形
1 an1
结论:状态方程具有可观测标准形的系统一定可观测。
C 0 0
CA
0
0
V
CA2
3.2线性定常系统的可观测性
1.线性定常离散系统状态可观测性
(1) 离散系统可观测定义
x(k 1) Gx(k) Hu(k ) y(k) Cx(k) Du(k)
已知输入u(0),…,u(n-1)的情况下,通过在
有限个采样周期内测量到的输出y(0),y(1),…, y(n-1),能唯一地确定任意初始状态x(0)的n个分量, 则称系统是完全可观测的,简称系统可观测。
(2) 线性定常连续系统可控性判据
若线性定常连续系统的状态方程为
x Ax Bu
则该系统可控的充分必要条件为其可控性矩阵
Sc B AB
满秩,即 rankSc n
An1B
示例
(3) 可控标准形
结论:状态方程具有可控标准形的系统一定可控。
x1 0
x2
0
xn
1
0
xn a0
使上述方程组有解的充分必要条件是
Sc' Gn1H
GH H
满秩,且 rankSc' n
亦即 Sc H GH
Gn1H 且rankSc n
离散可控性例题
现代控制理论第三章
方法二:
转化为约旦标准形 ( Aˆ, Bˆ ) ,再根据 Bˆ 判断
方法三: 传递函数
3.2 线性连续系统的能控性
方法一:线性定常连续系统(A,B), 其状态完全能控的 充要条件是其能控性矩阵的秩为n,即:
rankQc = n Qc = [ B AB A2B … An 1B ]
0 0 2
3
4 1 0
4 2
(2)
x (t)
0
4
0 x(t) 0 0u(t)
0 0 2
3 0
3.2 线性连续系统的能控性 方法三:
3.2 线性连续系统的能控性 例:从输入和状态矢量间的传递函数确定其能控性?
3.2 线性连续系统的能控性 例:判断线性连续系统能控性?
解:
3.2 线性连续系统的能控性
3.3 线性系统的能观测性
例:判断能观测性?
x (t)
2 1
1 3
x(t
)
1
1
u(t)
y(t
)
1 1
0 0 x(t)
解:
C Q0 CA
10 1 0
2 1 2 1
rankQo = 2 = n
系统能观测
3.3 线性系统的能观测性
例: 若系统的状态空间表达式为
x (t)
a d
5
x(t
)
1
7
(2)
x (t)
5
x(t)
1
y(t) 0 4 5x(t)
3 2 0 y(t) 0 3 1 x(t)
(3)
3 1 0
0 3 1
x (t) 0 0 3
x(t)
2
现代控制理论第三章
B
AB
0 1 An 1B n 1
如果系统是能控的,对于任意给定的初始状态x(0)都 能解出 i , i 0, , n 1,其有解的充分必要条件为
rank B AB An 1 B n
判断下面系统的能控性
输出能控性定义:如果系统的输入信号能在有限的 时间区间[t0,tf]内,将系统的任意初始输出转移到y(tf), 那么该系统为输出完全能控的。
输出能控性判据:考虑系统
x ' Ax Bu y Cx Du
状态完全能控的充分必要条件是
rank CB CAB CAn 1 B D m
上式表明,根据在[0,tf]时间的量测值y(t),能够 将初始状态x(0)唯一地确定下来的充要条件是
C CA n rank n 1 CA
(1)在能观测性定义中之所以把其规定为对初始 状态的确定,是因为一旦确定了初始状态,便可以 根据给定的输入信号u(t),利用状态转移方程求出系 统在各个瞬时的状态。 (2)能观测性表示的是y(t)反映状态向量x(t)的能 力,考虑到输入信号u(t)所引起的输出是可计算的, 所以在分析能观测性问题时,常令u(t)=0。
S1的能控性等价于S2的能观性
S1的能观性等价于S2的能控性
四、能控标准型和能观标准型(单变量系统线性系统) 1 、能控标准型 若系统的状态空间表达式为:
x ' Ac x bcu y Cc x
0 Ac 0 an
1 0 an 1
0 1 a1
能控性判据:考虑系统
x ' Ax Bu
状态完全能控的充分必要条件是
rank B AB An 1 B n
现代控制理论(8-11讲:第3章知识点)
f () I - A n an1 n1 a1 a0
f (A) An an1An1 a1A a0I 0
f () I - A 2 5 7 0
用A代替λ ,则
f (A) A 5A 7I 0
1 2 2 t 0 0 1t 2! 1 1 1 .. .. 0 nt 1 0
1 2 2 1 k k P (I + At + A t + ... + A t + ...)P 2! k!
11
习题: 2.4 (2) (3) 2.5 (1):1, 2
12
(2)系统矩阵A具有n重特征值: 则
Φ(t ) e
At
i t e Q
te e
i t
i t
0
1 ( n 1) i t ... t e (n 1)! 1 ... ... Q .. tei t i t e
2
15
例2:设矩阵为:
0 0 A 0 1
1 0 0 0
0 1 0 0
0 0 1 0
试用Cayly-Hamilton定理,求A7-A3+2I。 解:
0 1 0 0 1 0 4 1 0 I A 0 0 1 1 0 0
At
e 0 (t )I 1 (t )A an1 (t )A
At
n1
证: A 即
n
an1A
n1
a1A a0I 0
An an1An1 a1A a0I
an1 (an1An1 a1A a0I) an2 A n1 ... a0 A
现代控制理论--第三章 3 能观性
J2
⎢
⎣
⎤
⎥
⎥ ⎥
X
+
BU
,Y
=
CX
J
n
⎥ ⎦
中,和每个约当块 Ji (i = 1,2, , k) 的首行相对应的C 阵中的那些相应列,其每列 元素不全为零。
若两个约当块有相同特征值,上述结论不成立;若想要上述结论成立,则需
要对应的C 阵中相应列是线性独立的。
综上可知,能观标准型实现一定能观;能观,则通过线性非奇异变换一定能 化成能观标准型实现。能控标准型实现一定能控;能控,则通过线性非奇异变换 一定能化成能控标准型实现。线性非奇异变换不改变系统的能控能观性。
n−1
∑ Y (t)凯-哈定理 b j (t)CA j X (0) j=0
(2)
〔1〕 SO 系统时: 即 C1×n 。
3
第三章 线性系统的结构特性
此时,下列的几个量都是标量: β0 = CX (0), β1 = CAX (0), β n−1 = CAn−1 X (0)
(3) → (2) :
(3)
λI − A = λI − AT = λI − A = 0
○3 互为对偶的系统的传递矩阵互为转置:
G (s) = C (sI − )A −1 B
( ) ( ) G ( s) = C sI − A −1 B = BT sI − AT −1 CT
=
BT
⎡⎣( sI
) −
A
T
⎤ ⎦
−1
C
T
=
BT
⎡⎣( sI
−
)A
−1 ⎤T ⎦
CT
=
⎡⎣C (sI
−
)A −1
B
⎤T ⎦
现代控制理论3章
3.2.2 状态能观性的判据 已知系统的动态方程
x’(t ) A(t ) x(t )
y C (t ) x(t )
x(0) x0
1、线性定常连续系统能观测性的格拉姆矩阵判据
线性定常连续系统{A,C} 状态完全能观测的充要条件是:存在 时刻t1>t0,使如下定义的能观性格拉姆(Gram)矩阵为非奇异。
16
例:给定线性定常系统的状态方程,判断能控性。
1 x1 1 x1 0 x1 x 2.5 1.5 x 1 u y 1 0 x 2 2 2
解:
1 1 1 0 AB 1 1 2.5 1.5 1 1 rank[ B AB] rank =1 2 系统不能控 1 1 s 1.5 1 1 1 0 s 1 Cadj ( sI A) B s 2.5 1 2.5 g ( s) s 1 sI A ( s 2.5)( s 1) ( s 1) 2.5 s 1.5
0 t1 0
t1
T x0 Wc (t0 , t1 ) x0 [ BT T (t0 , ) x0 ]T BT T (t0 , ) x0 d 0
T x0 Wc
(t0 , t1 ) x0 B (t0 , ) x0 d (t0 , ) x0 0
At k 0 n 1
y (t ) k (t )CAk x(0)
k 0
n 1
y (t ) 0 (t )Cx(0) 1 (t )CAx(0) n 1 (t )CAn 1 x(0) C CA x(0) y (t ) 0 (t ) 1 (t ) ... n 1 (t ) n 1 CA C CA =n rank n 1 CA
现代控制理论第三章4
~ ~ x1 A11 ~ 0 x2 ~ y [C1
其中nc维子系统 是状态完全能控的。 而n-nc维子系统 是状态完全不能控的。
~ ~ ~ A12 x1 B1 ~ ~ u A22 x2 0 ~ ~ x1 C2 ]~ x2
定理中非奇异变换阵的构造 对能观性分解,能将状态不完全能观的线性定常连续系 统进行能观性分解的变换矩阵Po的逆阵可选为 q1 q Po1 2 ... q n 其中前no个行向量q1,…, qn 为能观性矩阵Qo的no个线性无关 o 的行向量,qno 1,…,qn为任意选择的n-no个线性无关的行向 量但必须使变换矩阵Po-1可逆。
q1 Ap1 ... qnc Ap1 0 ... 0
... ...
q1 Apnc ...
q1 Apnc 1 ... qnc Apnc 1 qnc 1 Apnc 1 ... qn Apnc 1
... ... ... ... ... ...
... qnc Apnc ... 0 ... ... ... 0
定理表明: 任何状态不完全能观的线性定常连续系统,
总可通过线性变换将系统分解成完全能观子系统 和完全不能观子系统两部,
且变换矩阵Po的逆阵Po-1前no行必须为能观性矩阵 Qo的no个线性无关的行或它的一组基底。 对于这种状态的能观性结构分解情况如下图所示。
~ B1
+ +
~ x1
~ A11
~ x1
~ C1
y1
u
能观部分
+
y
+
~ A21
~ x2
现代控制理论-第三章 4 指导规范分解
第三章 线性系统的结构特性
假定:子系统 1、子系统 2 距离 1 米,二者无任何机、电连接。但子系统 2 着火,可能会烧着子系统 1,导致系统损坏。
建模时若只考虑机、电连接,则子系统 2 不可控不可观; 建模时还考虑了空间热传递,则子系统 2 不可控但部分可观。 5、例 例 15 给出线性定常系统如下,试求能观测规范分解表达式。
信息只进不出:因为能控,所以谁都可进; 因为不能观,所以只进不出, 否则本身会变能观
讲解上图。
信息只出不进:否则可能导致别的不能观的 Æ 能观的 信息能进入别的不能观的,不能进入能观的, 否则本身会变能观
3、线性非奇异变换的构造
⎡ X CO ⎤ ⎢⎥
①一次变换法:
X
T
→
⎢ ⎢
X
CO
⎥ ⎥
, 涉及较多的线性代数概念。
+
⎢ ⎢ ⎢
B2 0
⎥⎥U ⎥
A44 ⎥⎦⎢⎣ X CO ⎥⎦ ⎢⎣ 0 ⎥⎦
⎡ X CO ⎤
⎢⎥
[ ] Y = C1
0
C3
0
⎢ ⎢ ⎢
X X
CO CO
⎥ ⎥ ⎥
⎢⎣ X CO ⎥⎦
2、 X CO X CO X CO X CO 的相互作用
16
第三章 线性系统的结构特性
不能观的不能进来,否则可能导致不能观的 Æ 能观的
注: X = PX 。
3
第三章 线性系统的结构特性
以上结论说明,对系统作线性非奇异变换,不改变系统的能控性和能观测性, 也不改变其不完全能控和不完全能观测的程度。正是基于这—点,线性系统完全 可以通过线性非奇异变换来实现系统的结构分解。
3.4.4 LTI 系统按能控性的结构分解
现代控制理论第三章答案可修改全文
xc xc
0u 0
y cRc 1
1
1
xc xc
【习题3-12】试将下列系统按能观性进行结构分解。
1 2 1 0
(1) x 0 1
0
x
0u
1 4 3 1
y 1 1 1x
【解】判别能观性
c 1 1 1
N
cA
2
3
2
cA2 4 7 4
构造变换矩阵
Rank(N ) 2 n
将能控子空间按能观性分解
xc
0 1
8 1/ 3 6xc 1/ 6
1/ 3 1 1/ 3xc 0u
y1 1 2xc
c 1 2 Nc cA 2 4
Rank(Nc ) 1
Ro1
1 1
2
0
0 1 Ro 1/ 2 1/ 2
按能观性分解后:
0 0
即:
2 1 1
(2)
A
1 3
2
4
b
1 1
c 1
0
【解】M b
Ab
1 1
1 2
3
4
c 1 0
N cA 1
2
1 M
1
1 2 3 4
3 4 1 2
0
10
N
1
2 2 0
完全能控完全能观的条件:
3 2
4
0
1
2
0
(3)
M b
0 0 2 1
A 1
0
3
b
2
Ac 2
Tc21 ATc2
0 1
5 4
bc2
Tc21b
1 4
7 1
31 1 1
1 0
现代控制理论第三章1-2
T
(6)
由以上可以看出式(6)中各参数维数如下:
x(t0 )为n 1维向量 B为n r维, AB为n r维, M为n nr维向量 U j为r 1维, U为nr 1维向量
式(6)是关于U的非齐次方程组。由线性代数知识知道,
其有解的充要条件是系数矩阵和增广矩阵的秩相等,即:
rank(M) rankM x(t0 )
+ x1 + C1 R + R 图3-1 电路系统
x2
R -
u
C2 R
由电路理论知识可知, 若图3-1所示的电桥系统是平衡的(例 Z1=Z2=Z3=Z4),电容C2的电压x2(t)是不 能通过输入电压u(t)改变的,即状态变 量x2(t)是不能控的,则系统是不完全能 控的。
+ x1 + C1 R + R R -
为真,则称线性定常连续系统(A,B)状态完全能控。
2. 在上述定义中,对输入u(t)没有加任何约束,只要能使状 态方程的解存在即可。 如果矩阵A(t)和B(t)以及向量u(t)的每个元素都是t 的分段连续函数,则状态方程存在唯一解。 u(t)为分段连续的条件,在工程上是很容易满足的。 3. 在状态能控性定义中,对状态转移的轨迹未加以限制,这 表明能控性是表征系统状态运动的一个定性特性。
或者更确切地说,是状态能控的。
否则,就称系统为不完全能控的。
下面通过实例来说明能控性的意义 。
例1 某电路系统的模型如图3-1所示 。
该电路系统中,电源电压u(t)为 输入变量,并选择两电容器两端 的电压为状态变量x1(t)和x2(t)。 试分析电源电压u(t)对两个状 态变量的控制能力。
因此,给定输入,则一定会存在唯一的输出与之对应。
现代控制理论第三章答案
λ1b11 " λ1b1m " λ1n −1b11 " λ1n −1b11 ⎤
# # #
λr br1 " λr brm " λr n −1br1
# # # n −1 λn bn1 " λn bnm " λn bn1
⎥ ⎥ " λr n −1brm ⎥ ⎥ # ⎥ " λn n −1bnm ⎥ ⎦ #
采用反证法。反设 B 中的第 r 行元素全为零,则上述 Γ c [ A, B ] 的第 r 行元素也全为零,
素全为零的行。而且,上述 Γ c [ A, B ] 中的任意两行都不成比例。因此,Γ c [ A, B ] 的秩为 n , 即可得系统是能控的。证明完毕。 则对任意的常数 α 和 β , 状态 α x1 + β x2 也是能控的。 3.4 若 x1 和 x2 是系统的能控状态, 证明:根据能控性定义,若 x1 和 x2 是能控的,则存在时间 T1 、T2 和在时间段 [0, T1 ] 、[0, T2 ] 上定义的控制律 u1 、 u2 ,使得分别在控制律 u1 、 u2 作用下,从 x1 、 x2 出发的状态满足
T
故若取
u(t ) = − BT e − A tWc−1 (0, T ) x0 + BT e − A tWc−1 (0, T )e − AT xT
容易验证该控制律将实现所期望的状态转移。 3.6 若系统是能控的,则对任意的时间 T > 0 ,由式(3.1.7)给出的矩阵 Wc (0, T ) 都是非 奇异的。 证明: 若系统是能控的, 则由定理 3.1.1 知 rank(Γ c [ A, B]) = n 。 若反设存在一个常数 T > 0 , 给出的矩阵 WC (0, T ) = 使得由式 (3.1.7) 使得
现 代 控 制 理 论第3章
u
y c1 c2 X
系统方块图如图所示。
现代控制理论基础
解:用定理一:
AB
1
0
0 0 0
2
b2
b22
M B
AB
0
b2
0
b22
rank M=1, 系统不完全能控。
用定理二
Aˆ矩阵为对角线规范形,相应的
AB
0 b2
rank M=2,系统完全能控。
b2
b2
1
用定理三
矩阵 Aˆ 已为若当标准形,其最后一行对应的
素不全等于0,故系统完全能控。
阵中的行,元
事实上,系统状态x1 ,x2为串联型结构,无孤立部分,故系统完 全能控。
现代控制理论基础
例3-3:
X
1
0
1
1
X
若系统是能控的,则应j在0 k=N时
从上式解得u(0),u(1),…,u(N-1) ,使X(k)在第N个采样时刻 为0,即X(N)=0。从而有:
N 1
G N j 1Hu(j ) G N X(0)
j 0
G N 1Hu(0) G N 2Hu(1) GHu(N 2) Hu(N 1) G N X(0)
X AX(t ) Bu(t ) f(t )
(3)若状态方程为:
f(t)为不依赖于控制u(t)的扰动,则其解为:
X(t )
(t
t0 )X(t0 )
t (t
t0
)[Bu( ) f( )]d
现代控制理论基础 3-2 线性定常系统能控性判据
现代控制理论第三章答案
= Ax + Bu ,其中: K = 1 ,则可得到该系统的状态空间模型是 x
⎡ y1 ⎤ ⎢y 1 ⎥ ⎢ ⎥, x= ⎢ y2 ⎥ ⎢ ⎥ 2 ⎦ ⎣y
答:系统的能控性判别矩阵为
⎡0 ⎢ -1 A= ⎢ ⎢0 ⎢ ⎣2
0 0⎤ 1 0⎥ ⎥, 0 0 1⎥ ⎥ 0 -2 0 ⎦ 1 0
⎡0 ⎢1 B=⎢ ⎢0 ⎢ ⎣0
T
故若取
u(t ) = − BT e − A tWc−1 (0, T ) x0 + BT e − A tWc−1 (0, T )e − AT xT
容易验证该控制律将实现所期望的状态转移。 3.6 若系统是能控的,则对任意的时间 T > 0 ,由式(3.1.7)给出的矩阵 Wc (0, T ) 都是非 奇异的。 证明: 若系统是能控的, 则由定理 3.1.1 知 rank(Γ c [ A, B]) = n 。 若反设存在一个常数 T > 0 , 给出的矩阵 WC (0, T ) = 使得由式 (3.1.7) 使得
容易看到上述矩阵不满秩,所以系统是不能控的。 3.3 考虑系统
2λ1
λ12 λ12 λ12
3λ12 ⎤ ⎥ λ13 ⎥ λ13 ⎥ ⎥ λ13 ⎦ ⎥
⎡ λ1 ⎢ x=⎢ ⎢ ⎢ ⎣0
λ2
0⎤ ⎥ ⎥ x + Bu ⎥ % ⎥ λn ⎦
若 λi 都是各不相同的, 则该系统是能控的充分必要条件是矩阵 B 不包含元素全为零的 行。 (注:这一方法的优点在于将不能控的那部分状态确定出来,并且这一方法可以应 用到具有 n 个互不相同特征值状态矩阵的状态空间模型) 证明:假设
Wc (0, T ) 都是非奇异的。
3.7 考虑下图中由两辆小车所组成的系统:
现代控制理论第3章
x(2) Gx(1) hu(1) 6 2u(0) 0u(1)
0 1
1
例 双输入线性定常离散系统的状态方程为:
2 2 1
0 0
x(k
1)
0
2
0
x(k
)
0
1u (k )
1 4 0
1 0
试判断其能控性,并研究使x(1)=0的可能性
解 Qc H
GH
0 G2H 0
0 1
1 0
2:线性定常系统
定理一:对于线性定常系统,其能观测的充要条件是
W (0, t1)
t1 e AT tC T Ce At dt
0
满秩,或C(t) 的列线性无关.
定理二:线性定常连续系统能观测的充分必要条件是能观测 性矩阵QO满秩,即
C
CA
rank QO
rank CA2
n
CAn
1
定理三:线性定常连续系统能观测的充分必要条件是(n+m)× n型矩
2 2
2 0
4
4
1 0 0 4 1 10
rankQc 3
系统是能控的
1 2
令x(1)=0
x(0)
G 1Hu(0)
0
2
1 2 1 2 x1(0)
A
0
2
123,
A~
0 2
1
2 3
x2 (0) x3 (0)
1 u1(0) 23u2 (0)
若 rankA rankA~ 则可以求出u(0),使x(1)=0
由于eAiT可用I、A、A2、…An-1线性表示,故
rank[B, e AT B,eA(n1)T B] rank[B, AB, An1B]
现代控制理论-第三章 传递矩阵的实现问题
6 3 5 4 1 1
0 1
2020/7/30
7
能观标准型如下:
0 0 0 0 6 0
自
动 控 制 理 论
0m
Ao
I
m
0m
0m 0m Im
0 I m 1Im 2 I m
0 1 0 0
0 0 1 0
0 0 0 1
0 0 0 0
0 6
11 0
0 11
6
0
6 2
0 0 0 1 0 6
末页 结束
C(sI
A)1 B
W (s)
D
s
1
s 1
2s 1
s s
s
1
1 1
1
0 1 2
2020/7/30
1
0
1 s 1 12 2s 1
2 s 1
1 s 1
2
二、能控标准型实现和能观标准型实现
自 先把严格真有理分式的传递函数写成如下形式:
动 控 制 理 论
W (s)
sn1 n 1
sn n1sn1
1s 0 1s 0
这里,i (i 0,1, , n 1)
该传递函数阵的特 征多项式系数
i (i 0,1, , n 1)
m×r维常数阵
首页 上页
则其能控标准型实现为:
下页
末页
结束
2020/7/30
3
自
0r
动
控 制 理 论
0r
Ac
0r
0 I r
Ir 0r
0m 0m
0 I m 1Im 2 I m
0m 0m 0m Im n1Im
首页
上页 下页
现代控制理论第3章
第三章线性控制系统的能控性与能观测性分析3.1 线性连续系统的能控性3.2 线性连续系统的能观测性3.3 对偶原理3.4 线性离散系统的能控性和能观测性3.5 线性系统的结构分解3.6 线性连续系统的实现3.7 传递函数与能控性及能观测性之间的关系系统n x x x ,,,21L 状态1u 2u n u 1y 1y ny M M M M为什么要讨论系统的能控性和能观测性?能控性(Controllability)和能观测性(Observability)深刻地揭示了系统内部结构关系,由R.E.Kalman于60年代初首先提出并研究的这两个重要概念。
在现代控制理论的研究与实践中,具有极其重要的意义。
事实上,能控性与能观测性通常决定了最优控制问题解的存在性。
在极点配置问题中,状态反馈存在性由系统能控性决定;在观测器设计和最优估计中,涉及系统能观测性条件。
在本章中,我们的讨论将限于线性系统。
将首先给出能控性与能观测性的定义,然后推导出判别系统能控和能观测性的若干判据。
3.1.1 概述3.1 线性连续系统的能控性能控性和能观测性就是研究系统这个“黑箱”内部状态是否可由输入影响和是否可由输出反映。
u x x x x ⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡−=⎥⎦⎤⎢⎣⎡2150042121&&[]⎥⎦⎤⎢⎣⎡−=2160x x y [例3.1]给定系统的描述为将其表为标量方程组形式,有:u x x+=114&u x x2522+−=&26x y −=分析:x 1、x 2受控于u y 与x 1无关y 与x 2有关[例3.2]:判断下列电路的能控和能观测性左上图:输入u(t),状态x(t),输出y(t)。
(t),x2(t)。
右上图:输入u(t),状态x1左图:输入u(t),状态x(t),x2(t),1输出y(t) 。
3.1.2 能控性的定义Ut B X t A X )()(+=&线性时变系统的状态空间描述:∑:),,,D C B A ()1.3)()()((U t D X t C t Y +=Jt ∈00)(X t X =其中:X 为n 维状态向量;U 为m 维输入向量;J 为时间t 的定义区间;A 为n*n 的元为t 的连续函数矩阵;B 为n*m 的元为t 的连续函数矩阵。
现代控制理论(第三章)
3 2 5 4 2 1 1 1 2 2 2 4 4 M B AB A B 1 1 2 2 4 4
rankM rankMMT 2 dim A 3
系统不可控!
EAST CHINA INSTITUTE OF TECHNOLOgy
多输出:
C CA dim A n rankN rank n 1 C A
条件满足即可, 不必写出所有的行!
nm n
阶可观测性矩阵
EAST CHINA INSTITUTE OF TECHNOLOgy
3.4* 离散时间系统的能控性与能观性
3.4.1 能控性矩阵 M 离散时间系统的状态方程如下: (1) 当系统为单输入系统时,式中 列矢量;G为系统矩阵 3.4.2 能观性矩阵N 离散时间系统的能观性,是从下述两个方程出发的。 (2) 式中, 为 维列矢量;C 为 输出矩阵,其余同式(6)。 ; 为标量控制作用.控制阵 为状态矢量 。 为 维
,在有限时间
。在这种情况下,称为状态的能达性。 驱动到 ,而不计较
3)在讨论能控性问题时,控制作用从理论上说是无约束的,其取值并非
唯一的,因为我们关心的只是它能否将 的轨迹如何。 2.线性连续时变系统的能控性定义 线性连续时变系统: 3.离散时间系统
这里只考虑单输入的n阶线性定常离散系统:
EAST CHINA INSTITUTE OF TECHNOLOgy
4
1 x
x1
u
2 x
5
x2
6
y
EAST CHINA INSTITUTE OF TECHNOLOgy
3.1 能控性的定义
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
A 13 A 23 A 33 A 43
1 B 0 x 1 A24 x2 B2 u 3 0 0 x 4 A44 x 0
1 x x 2 0 C 0 y C 3 1 x 3 4 x
或
(2)
式中
为简明起见,下面列举三个具有上述类型的二阶系统,对其能 控性加以剖析。 (3)
(4)
(5)
1)对于式(3)的系统,系统矩阵A为对角线型,其标量微分方程形式为: (6) (7) 2)对于式(4)的系统,系统矩阵A为约旦型,微分方程组为: (8) (9) 3)对于式(5)的系统,系统矩阵虽也为约旦型,但控制矩阵第二行的元素 却为0,其微分子方程组为: (10) (11)
其中
(5)
可以看出,系统状态空间表达式变换为式(3)后,系统的状态空间就 被分解成能控的和不能控的两部分,其中 维子空问:
是能控的,而
维子系统:
是不能控的。对于这种状态结构的分解情况如图所示,因为 对 不起作用, 仅作无控的自由运动。显然,若不考虑 系统,便可得到一个低维的能控系统。 维子
至于非奇异变换阵:
观测的,或简称是能观的。
2、定常系统能观性判别
定常系统能观性的判别也有两种方法:
(1)是对系统进行坐标变换,将系统的状态空间表达式变换成
约旦标准型,然后根据标准型下的 C 阵,判别其能观性; (2)直接根据 A 阵和 C 阵进行判别。
1)转换成约旦标准型的判别方法 判别准则1(a):A具有互异特征值,系统状态完全能观充要条件
2、能控标准型实现和能观标准型的实现
3.7节已经介绍,对于一个单输入单输出系统,一旦给出系统的传 递函数,便可以直接写出其能控标准型实现和能观标准型实现。本 节介绍如何将这些标准型实现推广到多输入多输出系统。为此,必 须把 维的传递函
数阵写成和单输入单输出系统的传递函数相类似的形式,即
(2) 式中, 为 维常数阵;分母多项
2)能观性判别
(5)
能够性判别阵N满秩(为n)时,系统能观
1、线性系统的对偶关系
有两个系统,一个系统 为:
另一个系统
为:
若满足下述条件,则称
与
是互为对偶的。
3.5:能控性与能观性的对偶关系
① 互为对偶的系统输入端 与输出端互换;
② 信号引出点与综合点互换;
③ 传递矩阵相反; ④ 对应的矩阵转置; ⑤ 传递函数互为转置。
2、对偶原理
系统 则 的能控性等价于 或者说,若
和 的能观性,
是互为对偶的两个系统, 的能观性等价于 的能控性。 是状态完全能观
是状态完全能控的(完全能观的),则
的(完全能控的)。
3.6:状态空间表达式的能控标准型与能观标准型
1、单输入系统的能控标准型
1)能控标准 型
若线性定常单输入系统:
(1) 是能控的,则存在线性非奇异变换:
3.1 能控性的定义 3.2 线性定常系统的能控性判别 3.3 线性连续定常系统的能观性 3.4 离散时间系统的能控性与能观性 3.5 能控性与能观性的对偶关系 3.6 状态空间表达式的能控标准型与能观标准型
3.7 线性系统的结构分解
3.8 传递函数阵的实现问题 3.9 传递函数中零极点对消与状态能控性和能观性之间的关系
式为该传递函数阵的特征多项式。 显然W(s)是一个严格真有理分式的矩阵,且当 时,
W(s)对应的就是单输入单输出系统的传递函数。
对于式形式的传递函数阵的能控标准型实现为:
(4)
(5)
与此类推,其能观标准型实现为:
(7) (8) 式中, 和 为 阶零矩阵和单位矩阵; 为输入矢量的维数。
例3—18
2)变换矩阵R确定之后.只需经讨一次变换便可对系统同时按能控性 和能观性进行结构分解.但是R阵的构造需要涉及较多的线性空间概
念。
3、按能控性能观性分解
3)结构分解的另一种方法:先把待分解的系统化约旦标准型,然
后按能空判别法则和能管判别个状态变量的能控型和能观性,最后 按能控能观、能控不能观、不能控能观、不能控不能观四种类型分 类排列,即可组成相应的子系统。
2)也可以假定 将
=0,而工
为任意终端状态,换句话说, ,在有限时间 内,能 。在这种情况下,称为状态
若存在一个无约束控制作用 由零状态驱动到任意 的能达性。
3)在讨论能控性问题时,控制作用从理论上说是无约束的,其 取值并非唯一的,因为我们关心的只是它能否将 到 ,而不计较 的轨迹如何。 驱动
2、离散时间系统能控性
2、直接从A与B判别系统的能控性
1)单输入系统
线性连续定常单输入系统:
其能控的充分必要条件是由 A、b 构成的能控性矩阵: (14) 满秩,即 。否则,当 时,系统为不能控的。
2)多输入系统
对多输入系统,其状态方程为: 式中,B 为 阶矩阵; 为 r 维列矢量。 (15)
其能控的充分必要条件是矩阵: 的秩为 。
s2 s 1 W (s) s s 1
s 1 s3 s 1 s2
试求其能控标准型实 现和能观标准型实现
能控标准型实现
能观标准型实现
3、最小实现
(1)最小实现的定义 传递函数W(s)的一个实现:
① 离散时间系统的能控性判别、能观性判别
② 线性系统的能控性和能观性的对偶关系、对偶
原理、
③ 2种能控标准型、2种能观标准型、系统按能控 和能观性进行结构
3.8:传递函数阵的实现问题
1、实现问题的基本概念
对于给定传递函数阵 W(s),若有一状态空间表达式∑:
(1) 使之成立 则称该状态空间表达式∑为传递函数阵W(s)的一个实现。 简言之:从传递函数阵转化为状态空间表达式的过程成为实现 注意:只有传递函数阵满足物理可实现性条件时才能找到实现!
C 1 1 CA 1 1
可分解为能控能观和能控不能观两部分子系统
x 2 A x 21 1 A22 x2 A23 x3 A24 x4 B2u y2 0
x 1 A x 11 1 A13 x3 B1u x y C
系统不完全能控,不完全能观时,存在非奇异变换
x Rx
Ax Bu x
经过线性状态变换,可以化为下列形式
y Cx
0 x 1 A 11 2 A12 A22 x x 3 0 0 4 x 0 0
1 1 1
x 3 A x 33 3 x y C
3 3 3
x x 4 A x A 43 3 44 4 y4 0
两个结论
① 最小实现:维数最小的那个状态空间表达式就是最小实现 ② 一个系统的传递函数所表示的是该系统既能控又能观的那 一部分子系统。
总结以上有以下定理:
线性定常系统,A具有互异的特征值,系统状态完全能控的充
要条件是经非奇异变换后的对角标准型输入阵不包括全零行
判别准则:A具有重特征值,且每一重特征值只对应一个独立特征向量。 系统状态完全能控的充要条件是经过非奇异变换后的约旦标准型每个 约旦小块最后一行对应的输入阵该行不全为零
逐步分解法
(1)先将系统按能控性分解 (2)将得到的不能控子系统按能观性分解 (3)将能控子系统按能观性分解 综合上述三次变换,即可得到系统能控性和能观性进行结构分解 的表达式 注意:先判断题目给的系统是完全能观还是完全能控(考虑计算 量的问题,一般二者必有其一),如果满足其中一个,只需要分 解一次即可。
是能观的,则存在非奇异变换
(21)
使其状态空问表达式(20)变换为:
(22)
其中
称形如式(22)的状态空间表达式为能观标准
型。
3.7:线性系统的结构分解
1、按能控性分解 设线性定常系统
(1) 是状态不完全能控,其能控性判别矩阵:
的秩
则存在非奇异变换:
(2)
将状态空间表达式(1)变换为: (3)
是经非奇异变换后的对角标准型输出阵不包含全零列
判别准则1(b):线性定常系统,A具有重特征值,且每一重特征值只 对应一个特征向量,系统状态完全能观充要条件是经非奇异变换后的 约旦标准型每个约旦小块首行对应的输出阵该列不全为零
2)直接从A,C阵判断系统的能观性 判别准则2:线性定常系统状态完全能观充要条件是由A与C构
其中 个列矢量可以按如下方法构成,
前 个列 个列矢量 在确保 是能控性矩 为非奇异的 阵M中的 个线性无关的列,另外的
条件下,完全是任意的。
2、按能观性分解
设线性定常系统: (8) 其状态不完全能观的,其能观性判别矩阵
的秩
则存在非奇异变换:
(9)
将状态空间表达式(8)变换为:
(10)
其中
(11)
(12)
(13)
可见,经上述变换后系统分解为能观的
,维子系统:
和不能观的
,维子系统:
结构图如下。显然,若不考虑 便得到一个 非奇异变换阵 维的能观系统。 是这样构成的,取
维不能观测的子系统,
3、按能控性能观性分解
1)如果线性系统是不完全能控和不完全能观的,若对该系统同时按能 控性和能观性进行分解,则可以把系统分解成能控且能观、能控不能 观、不能控能观、不能控不能观四部分。当然,并非所有系统都能分 解成有这四个部分的。
3、单输出系统的能观标准型
1)能观标准 型
若线性定常系统: (13) 是能观的,则存在非奇异变换: (14)
使其状态空间表达式(13)化成:
(15)
其中
称形如式(15)的状态空间表达式为能观标准 型。其中 是矩阵A的特征多项式的各项系数。