Saputri, Febrianti Silviana (2022) Desain Kendali Autonomous Car Menggunakan Satisfiability Modulo Theory. Other thesis, Institut Teknologi Sepuluh Nopember.
![[thumbnail of 06111840000069-Undergraduate_Thesis.pdf]](http://repository.its.ac.id/style/images/fileicons/text.png) |
Text
06111840000069-Undergraduate_Thesis.pdf Restricted to Repository staff only Download (2MB) | Request a copy |
Abstract
Autonomous car merupakan kendaraan yang mampu beroperasi tanpa bantuan pengemudi manusia dengan menggunakan sensor dan algoritma untuk menavigasi lingkungan. Keamanan menjadi aspek kritis dalam pengembangan sistem kendali autonomous car. Salah satu metode formal yang dapat digunakan untuk menjamin keamanan sistem adalah Satisfiability Modulo Theory (SMT). SMT merupakan metode yang digunakan untuk memeriksa apakah suatu formula logika memiliki solusi atau tidak. Dalam penelitian ini, metode SMT diterapkan untuk merancang sistem kendali yang menjamin bahwa autonomous car dapat mencapai tujuan dengan aman tanpa menabrak rintangan yang ada. Sistem kendali dirancang dengan mempertimbangkan batasan-batasan fisik kendaraan dan kondisi lingkungan. Hasil pengujian menunjukkan bahwa sistem kendali yang dirancang menggunakan metode SMT mampu memberikan jaminan keamanan bagi autonomous car dalam berbagai skenario rintangan yang diberikan.
==============================================================================================================================
An autonomous car is a vehicle capable of operating without the assistance of a human driver by using sensors and algorithms to navigate its environment. Safety is a critical aspect in the development of autonomous car control systems. One of the formal methods that can be used to ensure system safety is the Satisfiability Modulo Theory (SMT). SMT is a method used to check whether a logical formula has a solution or not. In this study, the SMT method is applied to design a control system that ensures the autonomous car can reach its destination safely without hitting existing obstacles. The control system is designed by considering the physical limitations of the vehicle and environmental conditions. The test results show that the control system designed using the SMT method is able to provide safety guarantees for the autonomous car in various obstacle scenarios provided.
| Item Type: | Thesis (Other) |
|---|---|
| Additional Information: | RSMa 515.642 Sap d-1 2022 |
| Uncontrolled Keywords: | Autonomous car. Satisfiability Modulo Theory. Autonomous car. Satisfiability Modulo Theory. |
| Subjects: | Q Science > QA Mathematics |
| Divisions: | Faculty of Mathematics and Science > Mathematics > 44201-(S1) Undergraduate Thesis |
| Depositing User: | Mr. Marsudiyana - |
| Date Deposited: | 08 Jun 2026 04:03 |
| Last Modified: | 08 Jun 2026 04:03 |
| URI: | http://repository.its.ac.id/id/eprint/133625 |
Actions (login required)
 |
View Item |