Professional Documents
Culture Documents
5 Realization
5 Realization
1
ﻃﺮح ﻣﺴﺎﻟﻪ
Reconstruction 2
1
• ﺗﻌﺮﻳﻒ ﺗﺎﺑﻊ ﺗﺒﺪﻳﻞ ﺗﺤﻘﻖ ﭘﺬﻳﺮ
• دو ﺳﻮال ﻣﻬﻢ :وﺟﻮد ﺗﺤﻘﻖ ؟
ﻳﻜﺘﺎ ﺑﻮدن ﺗﺤﻘﻖ ؟
) x (t ) Ax (t ) Bu (t
) y (t ) Cx (t
3
• ﻗﻀﻴﻪ ﺗﺎﺑﻊ ﺗﺒﺪﻳﻞ ﺗﺤﻘﻖ ﭘﺬﻳﺮ اﺳﺖ اﮔﺮ و ﻓﻘﻂ اﮔﺮ ﺳﺮه ﻳﺎ اﻛﻴﺪا ﺳﺮه
ﺑﺎﺷﺪ.
اﺛﺒﺎت ﻣﺮﺟﻊ
4
2
ﺗﺤﻘﻖ ﻣﻲ ﻧﻴﻤﺎل
5
• ﻗﻀﻴﻪ اﮔﺮ ﺗﺎﺑﻊ ﺗﺒﺪﻳﻞ ﻳﻚ ﺗﺤﻘﻖ ﻛﻨﺘﺮل ﭘﺬﻳﺮ و روﻳﺖ ﭘﺬﻳﺮ دارد ﻫﺮ ﺗﺤﻘﻖ
ﻫﻢ ﻣﺮﺗﺒﻪ دﻳﮕﺮ ﺑﺎﻳﺪ ﻛﻨﺘﺮل ﭘﺬﻳﺮ و روﻳﺖ ﭘﺬﻳﺮ ﺑﺎﺷﺪ.
اﺛﺒﺎت
g (s ) c (sII A ) 1b c 0 (sII A 0 ) 1b 0
i 1
cA i 1b c 0 A 0 b0 )(i 1, 2,
6
3
c 0b0 c 0 A 0 b0
n 1
cb cAb cA n 1b c 0 A 0b0
cAb cA b
2
cA n b 2
c 0 A 0b0 c 0 A 0 b0
n
c 0 A 0 b0
n 1
2 n 2
cA b cA b
n
cA b c 0 A 0 b0 c 0 A 0 n b0
n 1
c 0 A 0 b0
2 n 2
c c0
cA cA
Ab A b
0 0
b n 1
b A 0b0 A 0 b 0
n 1
0
n 1 n 1
cA c 0 A 0
• ﻗﻀﻴﻪ ﺗﺤﻘﻖ ﺗﺎﺑﻊ ﺗﺒﺪﻳﻞ ﻣﻲ ﻧﻴﻤﺎل اﺳﺖ اﮔﺮ ﺗﺤﻘﻖ ﻛﻨﺘﺮل ﭘﺬﻳﺮ و روﻳﺖ
.ﭘﺬﻳﺮ ﺑﺎﺷﺪ
اﺛﺒﺎت ﻣﺮﺟﻊ
:• ﻗﻀﻴﻪ ﺗﺤﻘﻖ ﺗﺎﺑﻊ ﺗﺒﺪﻳﻞ ﻣﻲ ﻧﻴﻤﺎل اﺳﺖ اﮔﺮ و ﻓﻘﻂ اﮔﺮ
det(sI A ), cAdj(sI A )b Relatively Prime
اﺛﺒﺎت ﻣﺮﺟﻊ
4
• ﻗﻀﻴﻪ ﻣﺮﺗﺒﻪ ﺗﺤﻘﻖ ﻣﻲ ﻧﻴﻤﺎل ﺗﺎﺑﻊ ﺗﺒﺪﻳﻞ )ﺑﺎ داﺷﺘﻦ ﭘﺎراﻣﺘﺮﻫﺎي ﻣﺎرﻛﻮف(
ﻋﺒﺎرت اﺳﺖ از:
]) n max rank [H (n1 , n 2
n1 , n 2
اﺛﺒﺎت ﻣﺮﺟﻊ
9
10
5
ﺗﺤﻘﻖ ﺳﻴﺴﺘﻢ ﻫﺎي ﻳﻚ ورودي ﻳﻚ ﺧﺮوﺟﻲ
11
) (s
) Y (s ) b (s ) (s
) u (t ) n (t ) an 1 n 1 (t ) a0 (t
) y (t ) b n 1 n 1 (t ) b n 2 n 2 (t ) b0 (t
Define:
) x 1 (t ) (t ), x 2 (t ) 1 (t ), , x n (t ) n 1 (t
12
6
Then:
x1 (t ) x 2 (t )
x 2 (t ) x 3 (t )
x n (t ) an 1x n (t ) a1x 2 (t ) a0 x 1 (t ) u (t )
y (t ) b n 1x n (t ) b n 2 x n 1 (t ) b0 x 1 (t )
0 1 0 0 0
0 0 1 0
0
x(t ) x t u (t )
0 0 0 1 0
a0 a1 a2 an 1 1
y (t ) b0 b1 b2 bn 1 x(t )
13
14
7
ﺗﺤﻘﻖ ﻛﺎﻧﻮﻧﻴﻜﺎل روﻳﺘﮕﺮ
b (s )
Y (s ) U (s ) b (s )a 1 (s )U (s )
a (s )
(s )
0 0 0 a0 b0
1 0 0 a1 b
1
x(t ) x t u (t )
0 0 0 an 2 bn 2
0 0 0 an 1 bn 1
y (t ) 0 0 0 1 x(t ) 15
0 0 0 a0 b0 0 1 0 0 0
1 0 0 a1 b 0 0 1 0 0
1
x(t ) x t u (t ) x(t ) x t u (t )
0 0 0 an 2 bn 2 0 0 0 1 0
0 0 0 an 1 bn 1 a0 a1 a2 an 1 1
y (t ) 0 0 0 1 x(t ) y (t ) b0 b1 b2 bn 1 x(t )
16
8
ﺗﺤﻘﻖ ﻛﺎﻧﻮﻧﻴﻜﺎل روﻳﺖ ﭘﺬﻳﺮي
ﻣﺎﺗﺮﻳﺲ
ﻫﻤﺎن ﺎ
ﭘﺬﻳﺮي ﺎ ﻣﺎﺗﺮﻳﺲ روﻳﺖ ﺬﭘﺬﻳﺮي ﺎ در ﺗﺤﻘﻖ ﻛﺎ ﻜﺎل
ﻛﺎﻧﻮﻧﻴﻜﺎل روﻳﺖ ﺬ
واﺣﺪ اﺳﺖ.
در ﺗﺤﻘﻖ ﻛﺎﻧﻮﻧﻴﻜﺎل روﻳﺖ ﭘﺬﻳﺮي ﻣﺎﺗﺮﻳﺲ ﻛﻨﺘﺮل ﭘﺬﻳﺮي ﻫﻤﺎن ﻣﺎﺗﺮﻳﺲ
ﻫﺎﻧﻜﻞ اﺳﺖ و در ﺻﻮرﺗﻴﻜﻪ ﺣﺬف ﻗﻄﺐ ﺑﺎ ﺻﻔﺮ ﻧﺪاﺷﺘﻪ ﺑﺎﺷﺪ ﻫﻤﻮاره
ﻛﻨﺘﺮل ﭘﺬﻳﺮ اﺳﺖ.
18
9
ﺗﺤﻘﻖ ﻛﺎﻧﻮﻧﻴﻜﺎل ﻛﻨﺘﺮل ﭘﺬﻳﺮي
0 0 0 a0 1
1 0 0 a1 0
x(t ) ) x t u (t
0 0 0 an 2 0
0 0 0 an 1 0
) y (t ) n 1 n 2 n 3 0 x(t
ﺗﺤﻘﻖ ﻛﺎﻧﻮﻧﻴﻜﺎل ﻛﻨﺘﺮل ﭘﺬﻳﺮي دوﮔﺎن ﺗﺤﻘﻖ ﻛﺎﻧﻮﻧﻴﻜﺎل روﻳﺖ ﭘﺬﻳﺮي اﺳﺖ.
ﻣﺎﺗﺮﻳﺲ ا ﺪ
واﺣﺪ ﭘﺬﻳﺮي ﺎﺗ
ﻛﻨﺘﺮل ﺬ ﭘﺬﻳﺮي ﺎﺗ
ﻣﺎﺗﺮﻳﺲ ﻛﻨﺘ ل ل ﺬ
ﻛﻨﺘﺮل
ﻜﺎل ﻛﻨﺘ
ﻛﺎﻧﻮﻧﻴﻜﺎل ددر ﺗ ﻘﻖ
ﺗﺤﻘﻖ ﻛﺎﻧ ﻧ
اﺳﺖ.
در ﺗﺤﻘﻖ ﻛﺎﻧﻮﻧﻴﻜﺎل ﻛﻨﺘﺮل ﭘﺬﻳﺮي ﻣﺎﺗﺮﻳﺲ روﻳﺖ ﭘﺬﻳﺮي ﻣﺎﺗﺮﻳﺲ ﻫﺎﻧﻜﻞ اﺳﺖ
و درﺻﻮرﺗﻴﻜﻪ ﺣﺬف ﻗﻄﺐ ﺑﺎ ﺻﻔﺮ ﻧﺪاﺷﺘﻪ ﺑﺎﺷﺪ ﻫﻤﻮاره روﻳﺖ ﭘﺬﻳﺮ اﺳﺖ.
19
b (s ) n g i
a (s ) i 1 s i
10
21
22
11
23
24
12
25
26
13
27
• ﻗﻀﻴﻪ
) g (s
14
ﺗﺤﻘﻖ ﺳﻴﺴﺘﻢ ﻫﺎي ﻏﻴﺮ اﺳﻜﺎﻟﺮ
: SIMO ﺳﻴﺴﺘﻢ
n1 (s )
a (s )
1
n 2 (s )
G (s ) a2 (s )
n l (s )
al (s ) 29
n1 (s )
a (s )
1 b1 (s )
n 2 (s )
G (s ) a2 (s )
1 b 2 (s )
G (s )
a (s )
b l (s )
n l (s )
al (s )
a (s ) s n an 1s n 1 a0
bi (s ) b n 1s n 1 b n 2s n 2 b 0 (i 1, , l )
bi (s )
ﺗﺤﻘﻖ ﻫﺎي اﺳﻜﺎﻟﺮ g i (s ) (i 1, , l )
a (s )
30
15
:ﺗﺤﻘﻖ ﻧﻬﺎﻳﻲ ﺑﻪ ﺻﻮرت ﻛﺎﻧﻮﻧﻴﻜﺎل ﻛﻨﺘﺮل ﻛﻨﻨﺪه
0 1 0 0 0
0 0 1 0 0
x (t ) x t u (t )
0 0 0 1 0
a0 a1 a2 an 1 1
b10 b11 b1n 1
b b 21 b 2 n 1
y (t ) 20 x (t )
bl 0 bl 1 bln 1
32
16
: MISO ﺳﻴﺴﺘﻢ
n (s ) n 2 (s ) n m (s )
G (s ) 1
a1 (s ) a2 (s ) am (s )
1
G (s ) b1 (s ) b2 (s ) b m (s )
a (s )
a (s ) s n an 1s n 1 a0
bi (s ) b n 1s n 1 b n 2s n 2 b 0 (i 1, , m )
bi (s )
ﺗﺤﻘﻖ ﻫﺎي اﺳﻜﺎﻟﺮ g i (s ) (i 1, , m )
a (s )
33
0 0 0 a0
1 b10 b 20 b m 0
0 0 a1 b
b 21 b m 1
x (t ) x t 11 u (t )
0 0 0 an 2
0 0 0 an 1 bln 1 b 2 n 1 b mn 1
y (t ) 0 0 0 1 x (t )
17
35
G (s ) C (sI A )1 B D
s n an 1s n 1 a0 B n 1s n 1 B n 2s n 2 B 0
1
ak tr (AB k ) B n 1 I n B k AB k 1 ak 1I n
n k
(sI A )1
36
18