Meningkatnya jumlah penduduk, terutama di kota-kota besar dunia menyebabkan kebutuhan akan transportasi juga meningkat. Salah satu moda transportasi yang banyak dikembangkan untuk menjawab kebutuha…
This paper describes an implementation of formal methods for safety verification of a railway interlocking system model based on model checking techniques. In the proposed method, a model for the i…
This paper presents an application of sensor fusion methods based on Unscented Kalman filter (UKF) technique for solving train localization problem in rail systems. The paper first reports the deve…