Mengapa Lyapunov mengatakan “There exists” dalam teori stabilitasnya ?

Alexander_Ljapunow_jung

Aleksandr Mikhailovich Lyapunov adalah satu  nama yang tidak asing  dalam dunia teknik  pengaturan / teknik kendali,  disebabkan teori  stabilitasnya yang sangat  fundamental, sehingga  sampai saat ini pun masih   dipakai oleh teoris,  akademisi, praktisi, dan para  insinyur di bidang  ini.  Dalam teori stabilitasnya,  Lyapunov  menyatakan bahwa :

Sistem dengan dinamika

nonlinear system

dapat dikatakan stabil secara asimptotik  jika terdapat satu fungsi V(x) , yang disebut kandidat fungsi Lyapunov, yang memenuhi sifat-sifat berikut ini.

lyapunov candidate 1,

lyapunov candidate 2, dan hanya bernilai nol untuk

x sama dengan nol


Catatan 1 :
stabil secara asimptotik,  dalam pengertian yang mudah adalah pada saat waktu t menjadi tak berhingga (menuju kekekalan), maka semua state pada sistem tersebut sudah menuju ke titik kesetimbangan, dan pada saat itu, gangguan sebesar apapun akan mengakibatkan pergeseran (lokal) yang pada akhirnya dengan berjalannya waktu, semua state pada sistem bergerak kembali menuju kesetimbangan.

Catatan 2: stabil secara asimptotik dapat bersifat lokal ataupun global. Lokal, bila hanya berlaku untuk nilai-nilai state awal (initial state) di sekitar titik kesetimbangan (the neighborhood of the equilibrium point). Global, bila untuk semua nilai-nilai state awal, semua state akan bergerak menuju 1 titik kesetimbangan yang sama.

Satu hal yang menarik di sini adalah penggunaan kata “terdapat” atau dalam bahasa Inggrisnya “there exists”. Artinya, jika kita dapat menemukan satu saja fungsi kandidat V(x) , yang memenuhi syarat-syarat di atas, maka kita dapat memastikan bahwa sistem tersebut stabil secara asimptotik.

Dalam tulisan ini, saya tidak memberikan pembuktian matematis, karena itu pasti akan membingungkan untuk beginner. Pengertiannya akan lebih mudah dicerna bila kita menggunakan contoh, tanpa kehilangan makna ke-umum-annya.

Ambil contoh sebuah sistem linear dengan dinamika sebagai berikut.

contoh sistem linear

Jika kita melihat phase portrait dari sistem ini,  sistem ini akan stabil secara asimptotik di (0,0), seperti yang terlihat pada gambar di bawah ini.

phase portrait

Mari kita coba mensimulasikan 3 buah kandidat fungsi Lyapunov, yaitu :

Lyapunov func example 1

Lyapunov func example 2

Lyapunov func example 3

Untuk fungsi yang pertama, mari kita periksa turunan pertama terhadap waktu dari V(x) :

Lyapunov func example 1_1

Lyapunov_portrait 2

Untuk fungsi kandidat kedua, kita periksa turunan pertama fungsi Lyapunov sebagai berikut.

Lyapunov func example 2_1

Terlihat bahwa  turunan pertama fungsi kedua ini fluktuatif, dengan adanya fungsi-fungsi sinus dan cosinus, dan yang terutama, turunan pertama fungsi ini masih dapat bernilai positif, seperti diperlihatkan pada gambar di bawah ini.

Lyapunov_portrait 3Untuk  fungsi kandidat ketiga, kita periksa turunan pertama terhadap waktu dari V(x) sebagai berikut.

Lyapunov func example 3_1

Turunan pertama dari V(x) ini dipastikan bernilai negatif, berapapun nilai x1 dan x2, dan jika kita melihat gambar di bawah ini, terlihat bahwa fungsi V(x) memiliki satu minimum global di titik (o,o) :

Lyapunov_portrait 1

Jika kita analisis, sebuah fungsi dapat salah ditafsirkan sebagai “tidak stabil” atau tidak “stabil secara asimptotik”, jika kesimpulan itu dihasilkan dari fungsi kandidat Lyapunov yang tidak memenuhi syarat, dan terlalu terburu-buru menyimpulkan. Seperti kasus di atas, jika kita tidak memeriksa phase portrait dan langsung mencari fungsi kandidat Lyapunov yang ketika ditemukan bahwa fungsi itu tidak memenuhi syarat, kita menyerah dan mengatakan sistem tidak stabil.

Di sini pengertian itu penting : Lyapunov mensyaratkan minimal satu fungsi. Jika ditemukan satu saja fungsi yang memenuhi kriteria Lyapunov, maka sistem tersebut stabil / stabil secara asimptotik.

Catatan : Namun sayang, belum ada cara standar mencari fungsi kandidat Lyapunov.  Semua masih trial and error. Biasanya, fungsi kuadratik lebih “pas” untuk digunakan sebagai fungsi kandidat Lyapunov, tetapi tidak selalu berlaku untuk beberapa dinamika sistem.

Pertanyaan : Sebenarnya kita bisa saja menganalisa kestabilan sistem, cukup dari phase portrait. Kenapa butuh fungsi kandidat Lyapunov ?

Referensi :

H. K. Khalil, “Nonlinear Systems, 3rd ed.,” Prentice Hall, NJ: Upper Saddle River, 2002.

Teknik Pengaturan ?

Teknik pengaturan, bukan istilah yang lazim lagi digunakan di tahun-tahun belakangan ini. Teknik jenis ini kalau di zaman sekarang biasa disebut Teknik Kendali, atau dalam bahasa Inggrisnya Control Engineering. Blog ini akan diisi dengan artikel-artikel umum yang berkaitan dengan teknik pengaturan / teknik pengendalian / teknik kendali.  Kemungkinan akan ada artikel-artikel ‘berat’, tetapi saya sebagai pengelola blog ini akan mencoba agar tulisan-tulisan dalam blog ini dapat dimengerti khalayak, at least yang sedang kuliah di strata 1.
Dalam artikel ini diusahakan setiap ada kutipan dari sumber lain akan dicantumkan. Jadi blog ini tidak mengenal pembajakan hak intelektual. Penghormatan atas hak intelektual merupakan norma tertinggi dalam blog ini.

Terima kasih.

Test

Test

Hello world!

Welcome to WordPress.com. This is your first post. Edit or delete it and start blogging!