Hatırlatma [t0 , t1 ] Lemma 1: 1xm boyutlu fi (t ), i 1,2,..., n fonksiyonlarının aralığında sürekli türevleri olsun rank[ F (ta ) F (ta ) ... F ( n1) (ta )] n sağlayan bir ta [t0 , t1 ] var ise fi (t ) ‘ler [t0 , t1 ] aralığında lineer bağımsızdır Teorem 3: Lineer zamanla değişmeyen x (t ) Ax(t ) Bu (t ) sistemi ˆ rank[ B yönetilebilir rankC AB ... A( n1) B] n yönetilebilirlik matrisi Tanıt: Teorem 2 x (t ) Ax(t ) Bu (t ) yönetilebilir e A(t0 t ) B‘nin satırları lineer bağımsız Lemma 1 rank [e Ata B ta 0 rank[ B AB e Ata AB ... ... (1) n 1 e Ata An 1B...] n (1)n1 An1B...] n Cayley-Hamilton Teoreminden An , An 1 ,.... I , A,... An 1 ‘nın lineer kombinasyonu olarak yazılabilir ve (-) işareti rankı değiştirmez rank [ B AB ... An 1B...] n 0 0 1 0 1 0 2 0 0 x 0 x 0 0 0 3 0 0 0 0 4 0 1 0 1 0 u 1 0 0 1 sistemi yönetilebilir mi? Gözlenebilirlik: Sonlu zaman aralığında y (t ) çıkışlarını gözleyerek sistemin ilk koşulu x(t0 ) belirlenebilir mi? Tanım: Gözlenebilirlik [t0 , t1 ] aralığındaki giriş-çıkış çiftinden x(t0 ) tek olarak belirlenebiliyorsa sistem [t0 , t1 ] aralığında gözlenebilirdir. t y (t ) Ce A(t t0 ) x(t0 ) C e A(t1 ) Bu ( )d Du(t) t0 t yˆ (t ) ˆ y (t ) C e A(t1 ) Bu ( )d Du(t) t0 yˆ (t ) Ce A(t t0 ) x(t0 ) Teorem 4: Lineer zamanla değişmeyen x (t ) Ax(t ) Bu (t ) y (t ) Cx(t ) Du (t ) ~ F (t ) ˆ Ce A(t t0 ) matrisinin sistemi gözlenebilir sütunları [t0 , t1 ] aralığında lineer bağımsız. Teorem 3: Lineer zamanla değişmeyen x (t ) Ax(t ) Bu (t ) sistemi y (t ) Cx(t ) Du (t ) gözlenebilir C CA n rankO ˆ rank n 1 CA gözlenebilirlik matrisi 0 0 p0 x 1 0 p1 x, y 0 0 1x 0 1 p2 ile verilen sistem hangi pi i=0,1,2 değerleri için gözlenebilirdir? s-Tanım Bölgesinde Yönetilebilirlik ve Gözlenebilirlik Varsayım: A’nın özdeğerleri reel katsız 1, 2 ,..., n D0 0 0 ... 0 1 b1 0 b 0 ... 0 2 2 x 0 0 3 ... 0 x u ... 0 bn 0 n y c1 c2 ... cn x xi ’ler birbirinden ....... bi 0 ise xi .................................dolayısıyla sistem........... ci 0 ise xi .................................dolayısıyla sistem........... (*) (*) sistemine ilişkin transfer fonksiyonu: G ( s ) C ( sI A) 1 B c1 c2 n ... 1 s 1 0 cn 0 0 0 ... 1 s 2 0 ... 0 1 s 3 ... ... 0 b1 0 b 2 0 0 b 1 n s n 0 ci bi G( s) s i i 1 b j 0 ve/veya c j 0 ise sistem yönetilemez ve/veya gözlenemez n ci bi G( s) s i i 1 i j Lemma: ( A, B, C ) sisteminin özdeğerleri katsız ise, sistemin yönetilebilir olması için gerek ve yeter koşul G( s) C ( sI A) 1 Btransfer fonksiyonunda sıfır kutup sadeleşmesi olmamasıdır. Gözlenebilirliği ve yönetilebilirliği ayrı ayrı incelemek istiyorsak: Gc ( s) ( sI A) 1 B Go ( s) C ( sI A) 1 F (t ) ˆ e A ( t 0 t ) B ~ Gözlenebilirlik için F (t ) ˆ Ce A(t0 t ) Yönetilebilirlik için 3 0.5 0.5 1 1 x 2 2.5 0.5 x 2 4u , 6 2.5 0.5 0 2 9 3 .5 1 .5 y x 5 2 1 t-tanım bölgesinde yönetebilirlik ve gözlenebilirlik için baktığımız matrisler ile verilen sistemin yönetilebilirliğini ve gözlenebilirliğini inceleyiniz? Minimal Gerçekleme ( A, B, C, D) durum uzayı gösterimi verilen bir sistem için transfer 1 fonksiyonu matrisi G(s) C(sI A) B D tek olarak belirlenebilir. Tersi söz konusuysa ne olur? G(s) C(sI A)1 B D transfer fonksiyonu matrisi verildiğinde durum uzayı gösterimi tek olarak belirlenebilir mi? Farklı boyutlarda G (s ) ‘i sağlayan sonsuz tane durum uzayı gösterimi vardır. Amaç: Durum uzayı gösteriminin boyutu ile sistemin yönetilebilirliği, gözlenebilirliği arasındaki ilişkiyi incelemek. Tanım: (minimal gerçekleme) G (s ) transfer fonksiyonu matrisine karşılık düşen n boyutlu durum uzayı gösterimi ( A, B, C, D) ‘e, eğer G (s ) ‘in boyutu n’den küçük bir gerçeklemesi yoksa minimal gerçekleme denir. Dikkat!!!!! Minimal gerçekleme tek değildir. ˆ z1 A 11 z ˆ A 2 21 z3 0 z4 0 0 ˆ A ˆ A 13 ˆ A 0 ˆ A 33 ˆ A 22 0 23 43 0 z1 Bˆ1 ˆ ˆ A24 z 2 B2 u 0 z3 0 ˆ z4 0 A 44 z1 z y Cˆ1 0 Cˆ 3 0 2 Du z3 z4 Bu sistem için G(s) C(sI A) 1 B D transfer fonksiyonu matrisini hesaplayalım. G ( s ) Cˆ1 0 Cˆ 3 ˆ sI A 11 ˆ A 21 0 0 0 0 ˆ sI A 22 0 0 ˆ A 13 ˆ A 23 ˆ sI A 33 ˆ A 43 0 ˆ A 24 0 ˆ sI A44 1 Bˆ1 ˆ B2 D 0 0 ˆ ) 1 Bˆ D G( s) Cˆ1 ( sI A 11 1 Teorem: G (s ) transfer fonksiyonu matrisinin ( A, B, C, D) gerçeklemesi minimaldir ( A, B, C, D) gözlenebilir ve yönetilebilirdir.