Pemodelan Persimpangan Jalan dengan Jalur Lawan Arus untuk Bus Rapid Transit Menggunakan Logika Temporal Linier
SARAH ANDIANTI ATMAWARDHANA
Informasi Umum
Kode
17.04.2266
Klasifikasi
C -
Jenis
Karya Ilmiah - Skripsi (S1) - Reference
Subjek
Computer Science
Dilihat
253 kali
Informasi Lainnya
Abstraksi
Bus Rapid Transit -yang lebih umum dikenal sebagai busway -merupakan sarana transportasi umum yang cukup banyak dipakai oleh warga ibukota. Tetapi jalur khusus bus sering disalahgunakan oleh pengendara kendaraan non-bus, oleh karena itu pengelola berencana membangun sistem jalur lawan arus (contraflow). Akan tetapi, sistem ini akan mempunyai masalah ketika diterapkan di persimpangan. Untuk mengatasi hal tersebut Dibutuhkan sebuah lampu lalu lintas untuk mengatur arus lalu lintas. Pada tugas akhir ini, penulis akan memodelkan sistem lampu lalu lintas di persimpangan menggunakan jalur lawan arus. Kemudian model akan diformalisasikan ke dalam model formal dengan logika temporal tertentu. Model selanjutnya akan diverifikasi dan hasil dari verifikasi akan dianalisis untuk memastikan bahwa model formal yang dibangun memenuhi spesifikasi yang telah dibuat.
- CCH4D4 - TUGAS AKHIR
- CSH4103 - METODE FORMAL
- CII4E4 - TUGAS AKHIR
- CPI4E4 - TUGAS AKHIR
- III4A4 - TUGAS AKHIR
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | SARAH ANDIANTI ATMAWARDHANA |
| Jenis | Perorangan |
| Penyunting | Yanti Rusmawati, Muhammad Arzaki |
| Penerjemah |
Penerbit
| Nama | Universitas Telkom |
| Kota | Bandung |
| Tahun | 2017 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
