Claim Missing Document
Check
Articles

Found 3 Documents
Search
Journal : International Journal of Electrical and Computer Engineering

Sliding mode control design for autonomous surface vehicle motion under the influence of environmental factor Hendro Nurhadi; Erna Apriliani; Teguh Herlambang; Dieky Adzkiya
International Journal of Electrical and Computer Engineering (IJECE) Vol 10, No 5: October 2020
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (341.862 KB) | DOI: 10.11591/ijece.v10i5.pp4789-4797

Abstract

Autonomous Surface Vehicle (ASV) is a vehicle that is operated in the water surface without any person in the vehicle. Since there is no person in the ASV, a motion controller is essentially needed. The control system is used to make sure that the water vehicle is moving at the desired speed. In this paper, we use a Touristant ASV with the following specifications: the length is 4 meters, the diameter is 1.625 meters, and the height is 1.027 meters. The main contribution of this paper is applying the Sliding Mode Control system to the Touristant ASV model under the influence of environmental factors. The environmental factors considered in this work are wind speed and wave height. The Touristant ASV model is nonlinear and uses three degree of freedom (DOF), namely surge, sway and yaw. The simulation results show that the performance of the closed-loop system by using the SMC method depends on the environmental factors. If environmental factors are higher, then the resulting error is also higher. The average error difference between those resulted from the simulation without environmental factors and those with the influence of environmental factors is 0.05% for surge, sway and yaw motions.
Estimation of water momentum and propeller velocity in bow thruster model of autonomous surface vehicle using modified Kalman filter Hendro Nurhadi; Mayga Kiki; Dieky Adzkiya; Teguh Herlambang
International Journal of Electrical and Computer Engineering (IJECE) Vol 12, No 6: December 2022
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.11591/ijece.v12i6.pp5988-5997

Abstract

Autonomous surface vehicle (ASV) is a vehicle in the form of an unmanned on-water surface vessel that can move automatically. As such, an automatic control system is essentially required. The bow thruster system functions as a propulsion control device in its operations. In this research, the water momentum and propeller velocity were estimated based on the dynamic bow thruster model. The estimation methods used is the Kalman filter (KF) and ensemble Kalman filter (EnKF). There are two scenarios: tunnel thruster condition and open-bladed thruster condition. The estimation results in the tunnel thruster condition showed that the root mean square error (RMSE) by the EnKF method was relatively smaller, that is, 0.7920 and 0.1352, while the estimation results in the open-bladed thruster condition showed that the RMSE by the KF method was relatively smaller, that is, 1.9957 and 2.0609.
Timed concurrent system modeling and verification of home care plan Taryana, Acep; Adzkiya, Dieky; Mufid, Muhammad Syifa'ul; Mukhlash, Imam
International Journal of Electrical and Computer Engineering (IJECE) Vol 15, No 1: February 2025
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.11591/ijece.v15i1.pp870-882

Abstract

A home care plan (HCP) can be integrated with an electronic medical records (EMR) system, serving as an example of a real-time system with concurrent processes. To ensure effective operation, HCPs must be free of software bugs. In this paper, we explore the modeling and verification of HCPs from the perspective of scheduling data operationalization. Specifically, we investigate how patients can obtain home services while preventing scheduling conflicts in the context of limited resources. Our goal is to develop and verify robust models for this purpose. We employ formalism to construct and validate the model, following these steps: i) develop requirements and specifications; ii) create a model with concurrent processes using timed automata; and iii) verify the model using UPPAAL tools. Our study focuses on HCP implementation at a regional general hospital in Banyumas District, Central Java, Indonesia. The results include models and specifications based on timed automata and timed computation tree logic (TCTL). We successfully verified a concurrent model that utilizes synchronized counter variables and a sender-receiver approach to analyze collision constraints arising from the synchronization of patient and resource plans.