- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
G (s一) 个实现,则其最小实现的充分必要条件是(A,B)完全
能控,(A,C)完全能观测.
证: 先证必要性。已知(A,B,C)为最小实现,欲证(A, B)能控和(A,C)能观测。采用反证法,反设(A,B,C) 不是联合能控和能观测,则可通过系统结构规范分解找出其 能控和能观测部分 (A ~11,B ~1,,C ~1且) 必成立:
第六章 线性系统的多项式矩阵理论
在经典线性控制理论中,频率域方法曾是最为主要并占统 治地位的一类方法,研究对象为单输入单输出线性时不变系统, 系统描述为传递函数和频率响应,研究领域涉及系统性能的分 析和综合。
20世纪70年代以来,在线性系统状态空间方法的影响和推 动下,以多项式矩阵理论为基础的线性时不变系统的复频率域 理论得到很大发展,形成较为完整和成熟的现代线性系统复频 率域理论。罗森布罗克(H.H.Rosenbrock)和沃罗维奇 (W.A. Wolovich)在20世纪70年代前期的开创性研究是这 一理论发展的起点。
(A具0,有B0形,C式0):
10
0 0 0Iq
A0
Iq
1Iq
,
Iq
l1Iq
C0 0, , 0, Iq
P0
B0
P1
Pl1
(6-10)
而真传递函数矩阵 G (s的) 能观形实现为 (A0,B。0,C0,E)
6.2.3 传递函数矩阵的最小实现
设给定严真(真)有理函数矩阵G(s) ,利用6.2.1和 6.2.2中的
C d(sim I A )A )( d 1B i m A ~ C ~ 111 )(s ( IA ~ 11 )1B ~ 1G (s)
4
据定义, (A ~11,B ~也1,C 是~1) 的实G现(s,) 且具有更小维数。这表明, (A,B,C)不是 的最小实G现(,s) 矛盾于已知条件。反设不
成立,即(A,B,C)能控和能观测。必要性得证。
为
5
1(s)
1(s)
M(s) U(s)G(s)V(s)
r(s)
0
0
r(s)
0
其中,U(s)和 V(s)为 q和p p单模p阵。那么, 的状G态(s)
空间实现的最小维数为
r
nmin degi(s) i1
6.2.1 标量传递函数的实现
g(s)esnn1n s n 1 s1n 1 1s1 s00
(6-4) 6
能控规范形实现
式(6-4)所示标量传递函数g(s)的严真部分n(s)/d(s)的能 控规范形实现具有形式:
0 1
Ac
0
,
1
0 1
n1
能观测规范形实现
0
bc0 , cc0,1,,n1
1
(6-5)
式(6-4)所示标量传递函数 g(s)的严真部分n(s)/d(s)的 能观测规范形实现具有形式:
0 0 1
X
o
span100,
0
,
1
1
100
0 0 0 11
P
1
1
0
1
0 0现代复频率域理论的特点是,采用传递函数矩阵的矩阵分 式描述作为系统数学模型,并以多项式矩阵方法作为系统分析 和综合的基本工具。
1
定理6.2(实现间关系) 对传递函数矩阵 G (,s)其不同实现间
一般不存在代数等价关系,但其所有最小实现间必具有代数等 价关系。
定理6.3(最小实现判据) 设(A,B,C)为严真传递函数的
9
0
Ip
Ac
lplp
0
0Ip 1Ip
Cc P0, P1, , Pl1
lplp
Ilp1Ip,
0
Bc
lplp
0
Ip
(6-9)
而真传递函数矩阵G (s的) 能控形实现为 (Ac,Bc,Cc,。E)
能观形实现
对式子(6-8)的以有理分式矩阵描述给出的严真传递函数
矩阵 G,sp (其s) 能观测形实现
7
0 0 0
Ao1
1,
1 n1
0 bo 1,
n1
co0,,0,1
(6-6)
6.2.2 传递函数矩阵的实现
考虑以有理分式矩阵描述给出的真q传p 递函数矩阵 G (s)
G ( s ) (g i( js )),i 1 , ,q j 1 , ,p
进而,表 G (s为) “严真传递函数矩阵 q阶p G”sp和(s“) 阶q常阵p E”
充分性,略。
证毕。
严真传递函数矩阵 G的(s最) 小实现为不唯一但满足广义唯一 性。即若(A,B,C)和 (A, B为,C) 的任G意(s两) 个n维最小实现, 则必可基此构造出一个 非奇异n常阵nT使成立:
A T 1 A,TB T 1 B , C CT
对 q传p递函数矩阵 G(s)r, a,n其(sk史) 密G r斯-麦克米伦形
G s(p s ) d ( 1 s )P (s) d ( 1 s)P l 1 sl 1 P 1 s P 0
其中, P k(k0,1, 为,l1)常阵q. p
(6-8)
能控形实现
对式(6-8)的以有理分式矩阵描述给出的严真传递函数矩 阵Gsp (,s) 其能控形实现 (Ac,具Bc有,C形c)式:
例6.3
1 s 1
G(s)
2
s
2
2
s
s2
0
1
解:可解出它的能控性实现 12
0 0 1 0
A
0
0
0
1
2 0 1 0
0
2
0
1
0 0
B
0
0
1 0
0
1
2 2 1 2
0 1
C
0
0
0
0
E
2
0
2 0 2 0
0 1
进行能观性分解
0
X n0
span
1 0 1
的方法求出 G(s) 的某种实现
x Ax Bu
y Cx
(6-11) 11
如果(6-11)是能观性实现,可应用第三章的方法对它进行 能控性分解,求出能控子系统
~xyA11~xC1~xB1u
就是G(s)的最小实现。
同样,如果(6-11)是能控性实现,可应用第三章的方法对 它进行能观性分解,求出能控子系统,则它是G(s)的最小实现。
之和,即
G ( s ) ( g i( j s ) ) ( e i) j ( g i s( js p ) ) E G s( s p )
(6-7)
8
且有 EG。(再) 表 诸Gs元p (s即) 诸元G的(最s) 小公分母
d(s)为
d (s ) s ll 1 s l 1 1 s0
基此,严真 q传p 递函数矩阵 G可sp (进s)而表为