Review Materi: Pemodelan dan Identifikasi Sistem

Kuliah ini dimulai dengan sebuah kejutan, dosen tamu dari Belanda akan mengajar kuliah ini, Wow. Dosen sebenarnya untuk kuliah ini Pak Hilwadi, namun di awal kuliah kami diperkenalkan dengan mister Kees Pronk, profesor dari TU delft Belanda, profilnya ada di sini. Pikir saya, wah, pasti pakai bahasa inggris nih ngajarnya. Tapi Alhamdulillaah.. ternyata kuliahnya sangat menarik dan menyenangkan. 

Mr. Pronk ini begitu perkenalan langsung buka slide materi pertama, mantap. Beliau memperkenalkan bidang keahlian yang dijalani beliau, yaitu model checking. Model checking ini adalah bagaimana memodelkan sebuah sistem dengan finite-state-machine, kemudian melakukan pengecekan agar model tersebut berjalan lancar, bebas dari deadlock maupun livelock. Aplikasi ilmu ini ada pada berbagai sistem kontrol otomatis, seperti navigasi pesawat terbang, satelit, dan sistem elektronik pada mobil-mobil mewah secara BMW. Pada rover penjelajah planet Mars, Curiosity, juga digunakan model checking.

Detail materi kuliahnya Mr. Pronk akan saya rinci menyusul di tulisan selanjutnya. Intinya setelah selesai sebulan penuh kuliah dengan Mr. Pronk ternyata kuliah belum berakhir, tapi dilanjutkan dengan kuliah dari Pak Hilwadi sendiri. Materi yang diajarkan ternyata berbeda cukup jauh dari Mr. Pronk. Kalau Mr. Pronk mengajarkan bagaimana memodelkan sistem kontrol menggunakan state-machine (finate state diagram), Pak Hilwadi mengajarkan memodelkan sistem dinamik (mekanika, fluida, dan thermal) secara matematis. Disinggung juga tentang Bond Graph, yang merepresentasikan ketiga sistem dinamik di atas dengan model sistem elektrik: Hambatan, Tegangan, Arus, Kapasitansi, dsb.

Akhirnya kuliah ini ditutup dengan UAS dimana setiap peserta kuliah harus mempresentasikan bahasan solusi dari 3 soal, masing-masing satu dari Bab Mekanika, Fluida, dan Thermal, dari buku Modelling and Simulation of Dynamic Systems, Robert L. Woods, Kent L. Lawrence, Prentice Hall International, 1997.

Sekarang tinggal menunggu nilai keluar. Mudah-mudahan dapat yang terbaik. Aamiin...

UPDATE
Baru sekarang muncul mood untuk melanjutkan tulisan ini. Mohon maaf. Jadi.. kuliah Mr. Pronk ini di hari pertamanya, kami diberi tugas membuat model otomata untuk satu masalah thread synchronization, santa claus problem.  Kami tidak diminta memodelkan solusi, tapi hanya masalahnya saja. Model dibuat di kertas HVS dan diberi nama. Saya pikir mantap banget hari pertama sudah ada tugas aja. Selama ini biasanya kuliah di ITB hari pertama perkenalan saja, materi awal-awal, tiada tugas.

Tugas selanjutnya adalah praktikum di lab komputer, pengenalan pada program SPIN, suatu bahasa pemodelan otomata, yang dijalankan di Linux! (padahal saya biasa pakai Windows, jadi bingung). Seru sekali praktikum ini. Meskipun saya juga tidak cepat mengertinya, tapi Mr. Pronk sangat antusias ketika diminta menjelaskan.

tugas selanjutnya.. bersambung.