APPLICATION OF UNCERTAIN MAX PLUS LINEAR FOR SHIP SCHEDULE SAFETY ANALYSIS: A CASE STUDY OF KM. LAMBELU

Read full text
Authors: Nurul Fuady Adhalia H, Mardhiyyah Rafrin, Aditya Putra Pratama, Rifaldy Atlant Tungga, Bayu Bayu, Syahrul Ramadhan Tahir
Cited by: 0

Abstract

This study aims to analyze the safety of the KM. Lambelu passenger ship schedule on its Parepare-Balikpapan route using the uncertain Max-Plus Linear (uMPL) approach. The uMPL model is used to represent the dynamics by considering the uncertainty of travel times between ports. Forward reachability analysis is conducted to verify whether the ship scheduling system meets the established safety criteria. The analysis results show that the analysis indicates that the KM. Lambelu scheduling system has safety vulnerabilities. This finding indicates the presence of potential accident or incident risks and emphasizes the need for evaluation and improvement of scheduling system to ensure ship operation within safe limits. This study identifies potential problems and risks associated with these findings and provides recommendations for improving the ship schedule.

Fields of Study & Subjects

Petri Nets in System Modeling Formal Methods in Verification Maritime Ports and Logistics

Publication details

Journal / source
BAREKENG JURNAL ILMU MATEMATIKA DAN TERAPAN
Volume
20
Issue
2
Pages
1077–1088
Publication date
26 January 2026