Pemodelan Aspek Waktu dari Lampu Lalu Lintas di Persimpangan Jalan dengan Jalur Lawan Arus untuk Bus Rapid Transit menggunakan Timed Automata dan Timed CTL
GISELA ANGGITA ASHIANTI
Informasi Umum
Kode
19.04.3625
Klasifikasi
629.8 - Automatic Control Engineering
Jenis
Karya Ilmiah - Skripsi (S1) - Reference
Subjek
Formal Methods - Edp
Dilihat
283 kali
Informasi Lainnya
Abstraksi
Pemodelan lampu lalu lintas pada persimpangan yang menggunakan jalur lawan arus untuk Bus Rapid Transit sudah dilakukan sebelumnya. Namun, sistem tersebut kurang sesuai bila diterapkan pada dunia nyata. Untuk itu, pada penelitian ini dilakukan perbaikan terhadap sistem lampu lalu lintas serta ditentukan pula waktu yang sesuai bagi setiap lampu lalu lintas untuk menyala. Sistem yang diperbaiki direpresentasikan dalam model LTL dan timed automata dengan bahasa spesifikasi dalam TCTL yang sesuai dengan model-checker UPPAAL. Hasil pemodelan tersebut diverifikasi berdasarkan spesifikasi keselamatan, ketercapaian, dan keadilan untuk model LTL. Sedangkan TCTL hanya digunakan untuk verifikasi timed automata terkait keselamatan dan ketercapaian.
- CSH4103 - METODE FORMAL
Koleksi & Sirkulasi
Seluruh (1) koleksi tidak tersedia
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | GISELA ANGGITA ASHIANTI |
| Jenis | Perorangan |
| Penyunting | Yanti Rusmawati, Muhammad Arzaki |
| Penerjemah |
Penerbit
| Nama | Universitas Telkom, S1 Informatika |
| Kota | Bandung |
| Tahun | 2019 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
