Bab II Landasan Teori

(1)

Bab ini menyajikan kajian sistem dan teori-teori yang akan mendasari dan digunakan dalam mencari bentuk model tereduksi. Beberapa hal yang akan dikaji dalam bab ini adalah sistem LPV dan beberapa teori dasar yang berkaitan dengan kestabilan sistem dan kinerja sistem. Selanjutnya disajikan teori ketaksamaan matriks linear yang mempunyai peran penting sebagai jalan untuk mencari bentuk model tereduksi. Di akhir bab dikaji metode pemotongan setimbang yang diperumum untuk sistem LPV.

II.1 Sistem Linear Parameter Varying (LPV)

Berikut ini diberikan representasi dari sistem LPV dengan laju variasi parameter tak terbatas (LPV system with unbounded parameter variation rates).

Definisi II.1. Himpunan Variasi Parameter

Diberikan ℜs adalah ruang vektor atas lapangan . ℘⊂ ℜs adalah himpunan kompak. Himpunan variasi parameter F_℘ menotasikan himpunan dari semua fungsi kontinu bagian demi bagian dari ₊(waktu) ke ℘ dengan sejumlah hingga diskontinuitas dalam suatu interval :

F_℘=

{

ρ: ₊ →℘ρ_min ≤ρ_i ≤ρ_max, i=1, 2,...,s

}

. (II.1)

Definisi II.2. Sistem LPV

Diberikan fungsi-fungsi kontinu berikut :

: , : , : , : . s n n s n m s p n s p m A B C D × × × × ℜ → ℜ → ℜ → ℜ → (II.2)

(2)

Himpunan kompak ℘⊂ ℜs bersama sama dengan fungsi kontinu A,B,C,D

merepresentasikan sistem LPV berorde n dengan realisasi ruang keadaan sebagai berikut :

( )

(

( )

)

( )

(

( )

)

( )

(

( )

)

( )

(

( )

)

( )

, , untuk setiap . x t A t x t B t u t y t C t x t D t u t F ρ ρ ρ ρ ρ _℘ = + = + ∈ & (II.3)

Realisasi ruang keadaan dari sistem LPV (II.3) dinotasikan sebagai (untuk menyingkat penulisan, ketergantungan parameter ρ terhadap t tidak ditulis)

( ) ( ) ( ) ( )

(

F_℘,A ρ ,B ρ ,C ρ ,D ρ

)

.

Berikut diberikan contoh ketergantungan parameter dari data ruang keadaan pada sistem LPV (II.3) [15].

Contoh :

Misalkan A t

( ) ( )

,B t adalah data ruang keadaan dari sistem LPV dengan

( )

(

)

( )

2 _/ ₁ ₀ : , cos 1 t M t A t B t M t t E t ω θ ⎡ ⎤ _⎡ _⎤ =⎢ ⎥ =_⎢ _⎥ + ⎢ ⎥ ⎣ ⎦ ⎣ ⎦ . (II.4)

Asumsikan bahwa semua fungsi bernilai skalar adalah terbatas, dan didefinisikan

( )

(

( )

)

[ ]

2 2 2 2 2 1 2 3 4 : , , 0 , : , , 0 , : 1 1 ,1 , 0 , : cos -1,1 , t t t M t M M M M t E t E E E E t t ρ ω ω ω ω ω ρ ρ ρ θ ⎡ ⎤ = ∈_⎣ _⎦ < < < ∞ ⎡ ⎤ = ∈_⎣ _⎦ < < < ∞ ⎡ ⎤ = + ∈ +_⎣ + _⎦ < < < ∞ = ∈

dengan ω ω2, 2 masing-masing adalah batas bawah dan batas atas dari ω2

( )

t . M M, masing-masing adalah batas bawah dan batas atas dari M t

( )

. ,E E masing-masing adalah batas bawah dan batas atas dari E t

( )

.

(3)

Maka, 1 2 4 3 4 ρ ρ ρ ρ ρ ⎡ ⎤ ⎢ ⎥ ⎢ ⎥ = ∈℘⊂ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎣ ⎦

, dengan ℘ didefinisikan oleh batas-batas dari ρ₁

sampai ρ₄. A dan B dari sistem (II.4) menjadi

(

( )

)

( )

(

( )

)

( )

1 2 2 4 3 1 / 1 : t t , : A t B t t t t ρ ρ ρ ρ _ρ ρ ρ ⎡ ⎤ ⎡ ⎤ =_⎢ _⎥ =_⎢ _⎥ ⎣ ⎦ ⎣ ⎦ .

Berikut ini diberikan konsep kestabilan sistem LPV dengan laju variasi parameter tak terbatas. Diberikan fungsi kontinu A:ℜ →s n n× . Pandang sistem LPV tanpa masukan

x t&

( )

= A

(

ρ

( )

t

)

x t

( )

, (II.5) dengan ρ∈F_℘. Fungsi Lyapunov kuadratik bernilai skalar V : n→ didefinisikan sebagai

V x

( )

:=x PxT ,

dengan P∈ n n× , P>0. Turunan dari fungsi Lyapunov kuadratik V x

( )

diberikan oleh

dV x t

(

( )

)

=xT _⎣⎡AT

(

( )

t

)

P+PA

(

( )

t

)

_⎦⎤x t

( )

dt ρ ρ , (II.6)

untuk setiap ρ∈F_℘, sepanjang variasi parameter dari sistem (II.5).

Definisi II.3. Kestabilan kuadratik suatu fungsi

Fungsi A dikatakan stabil kuadratik atas ℘ jika terdapat matriks real P>0

sedemikian sehingga

AT

(

ρ

( )

t

)

P+PA

(

ρ

( )

t

)

<0, untuk setiap ρ∈F_℘. (II.7)

Definisi II.4. Kestabilan kuadratik sistem LPV

Sistem LPV dengan realisasi ruang keadaan

(

F_℘,A

( ) ( ) ( ) ( )

ρ ,B ρ ,C ρ ,D ρ

)

(4)

Definisi tersebut mengindikasikan bahwa sistem LPV dengan realisasi ruang keadaan

(

F_℘,A

( ) ( ) ( ) ( )

)

adalah stabil kuadratik [8] jika dan hanya jika terdapat P>0 dan Q>0 sehingga memenuhi kataksamaan

A

(

ρ

( )

t

)

P+PAT

(

ρ

( )

t

)

+B

(

ρ

( )

t

)

B

(

ρ

( )

t

)

T <0, (II.8) AT

(

ρ

( )

t

)

Q QA+

(

ρ

( )

t

)

+CT

(

ρ

( )

t

)

B

(

ρ

( )

t

)

<0, (II.9)

untuk setiap ρ∈F_℘.

Definisi II.5.

Diberikan realisasi ruang keadaan

(

F_℘,A

( ) ( ) ( ) ( )

)

. Sistem LPV (II.3) dikatakan terstabilkan secara kuadratik jika terdapat fungsi matriks kontinu

: s m n

F ℜ → × dan matriks konstan real definit positif P, sehingga untuk setiap

F ρ∈ _℘

(

A

(

ρ

( )

t

)

+B

(

ρ

( )

t

)

F

(

ρ

( )

t

)

T P+P A

(

ρ

( )

t

)

+B

(

ρ

( )

t

)

F

(

ρ

( )

t

)

<0. (II.10)

Definisi II.6

Diberikan realisasi ruang keadaan

(

F_℘,A

( ) ( ) ( ) ( )

)

. Sistem LPV (II.3) dikatakan terdeteksi secara kuadratik jika terdapat fungsi matriks kontinu

: s n p

L ℜ → × dan matriks konstan real definit positif P, sehingga untuk setiap

F ρ∈ _℘

(

A

(

ρ

( )

t

)

+L

(

ρ

( )

t

)

C

(

ρ

( )

t

)

T P+P A

(

ρ

( )

t

)

+L

(

ρ

( )

t

)

C

(

ρ

( )

t

)

<0. (II.11)

II.2 Sistem LPV Politopik

Matriks politop didefinisikan sebagai konveks hull dari sejumlah berhingga matriks-matriks N_i berdimensi sama seperti berikut

{

}

1 1 1.. := 0, 1 L L i i i i i i i Co N i L α N α α = = ⎧ ⎫ ⎪ ⎪ = _⎨ ∀ ≥ = _⎬ ⎪ ⎪ ⎩

∑

⎭ . (II.12)

(5)

Bila vektor parameter ρ

( )

t diambil nilainya di dalam box dari ℜs dengan sudut-sudut

{

1...

}

2

(

)

i

s

v i L L

ρ = = , dengan kata lain ρ

( )

t nilainya didalam politop dengan verteks-verteks

1,..., L

v v

ρ ρ , maka dapat ditulis

( )

{

}

1 : ,..., , untuk setiap 0 L v v t Co t ρ = ρ ρ ≥ .

Sistem LPV disebut politopik bila dapat direpresentasikan oleh matriks ruang keadaan A

(

ρ

( )

t

)

,B

(

ρ

( )

t

)

,C

(

ρ

( )

t

)

, dan D

(

ρ

( )

t

)

dengan vektor parameter bervariasi di dalam suatu politop tetap dan ketergantungan dari

( ) ( ) ( )

, , , dan

( )

A B C D pada ρ adalah afin. Jadi matriks ruang keadaan dari sistem LPV politopik dapat direpresentasikan dalam bentuk

( )

(

)

(

( )

)

( )

(

)

(

( )

)

1 1 1,..., := 0, 1 . L L i i i i i i i i i _i i i _i A t B t A B A B Co i L C D C D C t D t ρ ρ α α α ρ ρ ₌ ₌ ⎧ ⎫ ⎡ ⎤_∈ ⎧⎪⎡ ⎤ ₌ ⎫⎪ ⎪ ⎡ ⎤_{∀ ≥} ₌ ⎪ ⎢ ⎥ ⎨_⎪⎢ ⎥ ⎬_⎪ ⎨ ⎢ ⎥ ⎬ ⎢ ⎥ ⎩⎣ ⎦ ⎭ ⎪ ⎣ ⎦ ⎪ ⎣ ⎦ ⎩

∑

⎭ (II.13)

Penulisan diatas dapat diartikan bahwa

(

( )

)

(

( )

)

( )

(

)

(

( )

)

A t B t C t D t ρ ρ ρ ρ ⎡ ⎤ ⎢ ⎥ ⎢ ⎥ ⎣ ⎦ adalah kombinasi

konveks dari matriks-matriks sistem LTI i i

i i A B C D ⎡ ⎤ ⎢ ⎥ ⎣ ⎦, i=1...L.

Fungsi transfer dari sistem LPV politop (II.13) dapat ditulis sebagai

( )

{

(

)

1

}

1 1 , 0, 1 L L i i i i i i i i i T_α α C sI A − B D α α = = =

∑

− + ∀ ≥

∑

= . (II.14)

II.3 Ketaksamaan Matriks Linear (Linear Matrix Inequality / LMI)

Ketaksamaan matriks linear (linear matrix inequality / LMI) adalah ketaksamaan matriks dalam bentuk

( )

₀ 1 0 n i i i F x F x F = = +

∑

< , (II.15)

(6)

dengan F F₀, ₁,...,F_n adalah matriks real simetrik yang diberikan, x∈ n,

(

1, 2,..., n

)

x= x x x adalah vektor variabel yang biasa disebut sebagai variabel keputusan. Tanda “<” menunjukkan definit negatif, yaitu nilai eigen terbesar dari

( )

F x adalah negatif. Sedangkan tanda sebaliknya menunjukkan definit positif. Selain LMI dalam bentuk (II.15), terdapat pula nonstrict LMI, yaitu LMI dalam bentuk

F x

( )

≤0. (II.16) Untuk sistem LMI seperti dibawah ini

( )

1 0 : : 0 m F x F x ⎧ < ⎪ ⎪ ⎨ ⎪ ⎪ _< ⎩ , (II.17)

LMI tersebut dapat dinyatakan dalam bentuk LMI tunggal

F x

( )

=diag

(

F x₁

( )

,...,F_m

( )

x

)

<0. (II.18) Himpunan semua solusi feasible dari LMI (II.15) adalah konveks, yaitu

( )

{

x F x <0

}

konveks. Yang dimaksud dengan solusi feasible adalah himpunan semua vektor x yang memenuhi semua kendala yang diberikan. Misalkan

1 dan 2

x x adalah dua solusi dari suatu masalah LMI yang memenuhi

( )

1 0 dan

( )

2 0

F x < F x < , maka suatu kombinasi konveks x= −

(

1 α

)

x₁+αx₂

dengan 0≤ ≤α 1 memenuhi

F x

( )

=F

(

1−α

)

x₁+αx₂

)

= −

(

1 α

) ( )

F x₁ +αF x

( )

₂ <0. (II.19) Sebuah LMI dapat mempresentasikan berbagai macam kendala konveks dalam x, diantaranya adalah ketaksamaan Lyapunov dan ketaksamaan matriks kuadratik konveks dalam masalah teori kontrol. Dalam berbagai aplikasi kontrol, LMI lebih sering tampak tidak dalam bentuk kanonik (II.15), tetapi dalam bentuk

L X

(

₁,...,X_n

)

<R X

(

₁,...,X_n

)

, (II.20) dengan L

( )

⋅ dan R

( )

⋅ adalah fungsi afin dari suatu variabel matriks X₁,...,X_n. Jadi variabel dari LMI (II.20) adalah matriks-matriks X₁,...,X_n. Contoh sederhana dari bentuk di atas adalah ketaksamaan Lyapunov

(7)

A XT +XA<0,

dengan X adalah variabel matriks yang belum diketahui nilainya. Bentuk dasar LMI (II.15) dapat diperluas ke LMI yang bergantung parameter sebagai berikut

(

)

₀

( )

1 , 0 n i i i F x ρ F ρ x F ρ = = +

∑

< , (II.21) dengan ρ:=

[

ρ₁,...,ρ_s

]

T adalah parameter, ρ∈F_℘.

Beberapa masalah standar LMI yang penting adalah

1. Masalah feasibility yaitu mendapatkan solusi x feasible sedemikian sehingga F x

(

,ρ

)

<0, untuk setiap ρ∈F_℘.

Contoh: masalah kestabilan dari sistem dinamik x t&

( )

= A

(

ρ

( )

t

)

x t

( )

ekuivalen dengan masalah feasibility yaitu mencari matriks Lyapunov

T P=P sedemikian sehingga

(

( )

)

(

( )

)

0 , 0. T A t P PA t P ρ + ρ < >

2. Masalah linear objective minimization yaitu meminimisasi sebuah fungsi linear x terhadap kendala LMI berikut

min

{

c x F xT :

(

,ρ

)

<0

}

, untuk setiap ρ∈F_℘.

Lemma II.1 Komplemen Schur

Pandang matriks blok terpartisi sebagai berikut

( )

11 12 12T 22 M M M M M ρ ρ ρ ρ ρ ⎡ ⎤ = ⎢ ⎥ ⎢ ⎥ ⎣ ⎦ .

( )

M ρ adalah definit negatif jika dan hanya jika M₂₂

( )

ρ <0 dan

(8)

II.4 Reformulasi Masalah Optimisasi ke dalam Bentuk LMI

Ketaksamaan matriks nonlinear (konveks) dapat direformulasi kedalam bentuk LMI dengan menggunakan komplemen Schur, yaitu LMI

( )

T

( )

0 Q x S x S x R x ⎡ ⎤ > ⎢ ⎥ ⎢ ⎥ ⎣ ⎦ , (II.22)

dengan Q x

( )

=Q x

( )

T, R x

( )

=R x

( )

T, dan S x

( )

secara afin bergantung pada

x, ekuivalen dengan

R x

( )

>0, Q x

( ) ( ) ( )

−S x R x −1S x

( )

T >0. (II.23) Jadi himpunan ketaksamaan matriks nonlinear (II.23) dapat direformulasikan kedalam bentuk LMI (II.22).

Sebagai contoh, kendala berbentuk norm matriks (nilai singular maksimum)

( )

1

Z x < , dengan Z x

( )

∈ n q× dan bergantung secara afin pada x, dapat direpresentasikan dalam bentuk LMI

( )

I Z x 0 Z x I ⎡ ⎤ > ⎢ ⎥ ⎣ ⎦ . (II.24)

Hal ini dikarenakan Z x

( )

<1 ekuivalen dengan I−ZZT >0. Kendala c x

( ) ( ) ( )

T P x −1c x <1, P x

( )

>0,

dengan c x

( )

∈ n dan P x

( )

=P x

( )

T ∈ n n× bergantung secara afin pada x, dapat diekspresikan dalam bentuk LMI

( )

T 1 0 P x c x c x ⎡ ⎤ > ⎢ ⎥ ⎢ ⎥ ⎣ ⎦ . (II.25)

Lebih umum, kendala

S x

( ) ( )

T P x −1S x

( )

<1 : Tr=

(

S x

( ) ( )

T P x −1S x

( )

)

<1, P x

( )

>0, dengan P x

( )

=P x

( )

T ∈ n n× dan S x

( )

∈ n p× bergantung secara afin pada x, diformulasikan dalam bentuk LMI (dalam x dan Z) dengan mendefinisikan variabel baru Z =ZT ∈ p p× ,

(9)

( )

: Tr 1, 0 T Z S x Z Z S x P x ⎡ ⎤ = < ⎢ ⎥> ⎢ ⎥ ⎣ ⎦ . (II.26)

II.5 Metode Pemotongan Setimbang yang Diperumum (Generalized Balanced Truncation Method)

Diberikan sistem LPV politopik yang stabil kuadratik

( )

(

( )

)

( )

(

( )

)

( )

(

( )

)

( )

(

( )

)

( ) ( )

0 , , 0 , x t A t x t B t u t y t C t x t D t u t x x ρ ρ ρ ρ = + = + = & (II.27)

yang berkembang pada politop konveks

1 1 1,..., = 0, 1 L L i i i i i i i i i _i i i _i A B A B Co i L C D ₌ α C D α ₌ α ⎧ ⎫ ⎧⎡ ⎤ ⎫ ⎡ ⎤ ⎪ ⎪ ⎪ ⎪ Ω = _⎨_⎢ _⎥ = _{⎬ ⎨} _⎢ _⎥∀ ≥ = _⎬ ⎪⎣ ⎦ ⎪ ⎣ ⎦ ⎩ ⎭ ⎪_⎩

∑

⎪_⎭. (II.28)

Karena sistem (II.27) stabil kuadratik, maka terdapat matriks P Q, ∈ n n×

sedemikian sehingga

,P Q>0 , (II.29) PA_iT +A P_iT +B B_{i i}T <0, i=1,...,L, (II.30) A Q QA_iT + _i +C C_{i i}T <0, i=1,...,L . (II.31) Untuk kendala-kendala (II.29)-(II.31) diatas, terdapat matriks non singular T

sedemikian sehingga

( ) ( )

1 1 1 2 ˆ ₀ ˆ ˆ 0 T T TPT = T− Q T− = ∑ = ⎢⎡∑ ⎤⎥ ⎢ ∑ ⎥ ⎣ ⎦ ,

dengan ∑ =ˆ₁ diag

(

σˆ₁,...,σˆ_k

)

, ∑ =ˆ₂ diag

(

σˆ_k₊₁,...,σˆ_n

)

, dan σˆ₁>σˆ₂ > >... σˆ_k >σˆ_k₊₁> >... σˆ_n >0.

Transformasi sistem LPV (II.27) – (II.28) menggunakan matriks transformasi non singular T, yaitu

Aˆ_i =TA T_i −1, Bˆ_i =TB_i, Cˆ_i =C T_i −1,

(10)

1 1 ˆ ˆ ˆ ˆ Co 1,..., = 0, 1 ˆ ˆ ˆ ˆ L L i i i i bal i i i i i i i i i A B A B i L C D C D α α α = = ⎧⎡ ⎤ ⎫ ⎧ ⎡ ⎤ ⎫ ⎪ ⎪ ⎪ ⎪ Ω = ⎨⎢ ⎥ = ⎬ ⎨ ⎢ ⎥∀ ≥ = ⎬ ⎢ ⎥ ⎢ ⎥ ⎪⎣ ⎦ ⎪ ⎪ ⎣ ⎦ ⎪ ⎩ ⎭ ⎩

∑

⎭ . (II.32)

Lebih lanjut, dalam politop konveks Ω_bal berlaku

1 2 ˆ ₀ ˆ ₀ ˆ 0 ⎡_∑ ⎤ ∑ =⎢ ⎥> ⎢ ∑ ⎥ ⎣ ⎦ , (II.33) ˆ∑Aˆ_iT +Aˆ_iT ∑ +ˆ B Bˆ ˆ_{i i}T <0, i=1,...,L, (II.34) Aˆ_iT ∑ + ∑ˆ ˆ Aˆ_iT +C Cˆ ˆ_{i i}T <0, i=1,...,L. (II.35) ˆ , _j j 1,..,n

σ = disebut nilai singular Hankel yang diperumum dari sistem LPV politopik (II.27)-(II.28), dan merupakan perumuman dari konsep nilai singular Hankel dari sistem LTI. Demikian juga ruang keadaan Ω_bal disebut realisasi setimbang yang diperumum. Sebagaimana dalam sistem LTI, nilai singular Hankel yang diperumum dan realisasi setimbang yang diperumum tunggal.

Partisi A Bˆ_i, , ˆ_i dan Cˆ_imenyesuaikan dengan ∑ˆ₁ dan ∑ˆ₂ menjadi

11 12 21 22 1 1 2 2 ˆ ˆ _ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ i i i i i i i A A _B A B C C C B A A ⎡ ⎤ _{⎡ ⎤} ⎢ ⎥ ⎡ ⎤ = =⎢ ⎥ =_⎣ _⎦ ⎢ ⎥ _{⎢ ⎥}_{⎣ ⎦} ⎣ ⎦ ,

model tereduksi didapat dengan mengabaikan ∑ˆ₂ yang data ruang keadaannya bersesuaian dengan (II.33) – (II.35), sehingga didapat politop

11 1 1 11 1 1 1 1 ˆ ˆ Co 1,..., ˆ ˆ ˆ ˆ = 0, 1 . ˆ ˆ i i r bal i i L _i _i L i i i i i i i A B i L C D A B C D α α α = = ⎧⎡ ⎤ ⎫ ⎪_⎢ _⎥ ⎪ Ω = _⎨ = _⎬ ⎢ ⎥ ⎪_⎣ _⎦ ⎪ ⎩ ⎭ ⎧ ⎡ ⎤ ⎫ ⎪ _⎢ _{⎥ ∀ ≥} ₌ ⎪ ⎨ _⎢ _⎥ ⎬ ⎪ _⎣ _⎦ ⎪ ⎩

∑

⎭ (II.36)

Sistem LPV (II.36) berorde k yang dilambangkan dengan Ω_balr adalah sistem yang stabil kuadratik dan setimbang. Notasi r pada Ω_balr melambangkan politop tereduksi.

(11)

Setelah disajikan kajian tentang sistem dan teori-teori yang akan mendasari dan digunakan dalam membahas reduksi orde model sistem LPV, maka pada bab selanjutnya akan dibahas reduksi orde model untuk sistem LPV yang merupakan inti dari pembahasan dalam tesis ini.