Article Per Year (5 Year)
p-Index From 2021 - 2026
2.024
P-Index
This Author published in this journals
All Journal International Journal of Electrical and Computer Engineering IAES International Journal of Artificial Intelligence (IJ-AI) Jurnal Sains dan Seni ITS KADIKMA Bulletin of Electrical Engineering and Informatics Bulletin of Electrical Engineering and Informatics UNEJ e-Proceeding Bulletin of Electrical Engineering and Informatics Jurnal Teknik Industri: Jurnal Keilmuan dan Aplikasi Teknik Industri BAREKENG: Jurnal Ilmu Matematika dan Terapan JTAM (Jurnal Teori dan Aplikasi Matematika) Square : Journal of Mathematics and Mathematics Education Contemporary Mathematics and Applications (ConMathA) Science Nature Limits: Journal of Mathematics and Its Applications International Journal of Computing Science and Applied Mathematics-IJCSAM
Dieky Adzkiya
Departemen Matematika Institut Teknologi Sepuluh Nopember
Arts Humanities Computer Science & IT Control & Systems Engineering Economics, Econometrics & Finance Education Electrical & Electronics Engineering Energy Engineering Industrial & Manufacturing Engineering Materials Science & Nanotechnology Mathematics Mechanical Engineering Physics Transportation

Published : 20 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 20 Documents
Search

 1   2 
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.
Desain dan Implementasi Perangkat Lunak Untuk Abstraksi Berhingga Sistem Max-Plus-Linear dengan Tree Tanpa Fungsi Rekursif Muhammadun; Dieky Adzkiya; Imam Mukhlash
Contemporary Mathematics and Applications (ConMathA) Vol. 5 No. 1 (2023)
Publisher : Universitas Airlangga

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.20473/conmatha.v5i1.44274

Abstract

Sistem Max-Plus-Linear (MPL) adalah suatu kelas sistem event diskrit dengan ruang keadaan kontinu mengkarakterisasi sekuensial kejadian diskrit yang mendasari. Di literatur, ada pendekatan untuk analisis yang didasarkan pada abstraksi berhingga model MPL yang autonomous. Prosedur ini telah diimplementasikan dalam MATLAB dengan struktur data list/matriks/vektor. Kekurangan dari implementasi ini, operasi membuat transisinya membutuhkan waktu komputasi yang lama. Kemudian dilakukan perbaikan terhadap implementasi sebelumnya dalam JAVA dengan struktur data tree. Implementasi ini berhasil mempercepat waktu komputasinya tetapi membutuhkan alokasi memori yang lebih besar karena fungsi-fungsinya bersifat rekursif. Penelitian ini membahas implementasi prosedur abstraksi berhingga model MPL autonomous dalam C++ dengan menggunakan struktur data tree tanpa fungsi rekursif. Dari beberapa percobaan yang dilakukan, implementasi pada penelitian ini berhasil mempercepat waktu komputasi VeriSiMPL 2.0 secara signifikan
PENERAPAN MODEL PREDICTIVE CONTROL (MPC) PADA FLOW LINE SISTEM PRODUKSI MENGGUNAKAN ALJABAR MAX-PLUS Fauzi, Imam; Adzkiya, Dieky
Kadikma Vol 13 No 1 (2022): April 2022
Publisher : Department of Mathematics Education , University of Jember

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.19184/kdma.v13i1.31309

Abstract

Model Predictive Control (MPC) is a controller design method is popularly used in the industrial world. This research will be presented at the MPC application of flow line production system modeled using max-plus linear systems. The main advantage of the MPC is its ability to provide certain constraints or limits on the control signal input and output. Flow line of production systems is a diagram illustrating the process sequence in the production system, ranging from the input, processing and output. Of flow line production system, be applicable MPC as time optimization control of the production process. Furthermore, the results of the input and output MPC construction of a flow line production system can be obtained by using matlab program
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.
MAGNETOHYDRODYNAMICS NANOFERRO FLUID FLOWS PASSING THROUGH A MAGNETIC POROUS SPHERE UNDER THERMAL RADIATION EFFECT Widodo, Basuki; Pamela, Eirene Juwita Ningtyas; Adzkiya, Dieky; Imron, Chairul; Rahayuningsih, Tri
BAREKENG: Jurnal Ilmu Matematika dan Terapan Vol 16 No 4 (2022): BAREKENG: Journal of Mathematics and Its Applications
Publisher : PATTIMURA UNIVERSITY

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (456.749 KB) | DOI: 10.30598/barekengvol16iss4pp1303-1312

Abstract

In the application of thermonuclear reactor cooling, temperature regulation relies on experiments based on practical experience. Therefore, the accuracy of this temperature setting is operator-dependent. So it is necessary to develop a mathematical model to solve these problems. The dimensional mathematical model therefore is generated using the conservation laws of mass, momentum, and energy. The dimensional mathematical model is further transformed into non-dimensional mathematical model by using non-dimensional variables. The non-dimensional mathematical model is simplified using the similarity equation by utilizing the stream function. The model obtained is a system of nonlinear ordinary differential equations. This system of equations is then solved using an implicit numerical method using Keller-Box scheme. This Keller-Box method has high accuracy and is more efficient. The numerical simulation results show that the velocity profile and temperature profile decrease as the magnetic parameter, porosity parameter, and the Prandtl number increases, respectively. Meanwhile, when the radiation parameter increases, the temperature profile also increases, but the radiation parameter does not affect the velocity profile.
COVID-19 Predictions Using Regression Growth Model in Ireland and Israel Raza, Wasim; Adzkiya, Dieky; Subchan, Subchan; Mehmood, Saba
JTAM (Jurnal Teori dan Aplikasi Matematika) Vol 6, No 4 (2022): October
Publisher : Universitas Muhammadiyah Mataram

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.31764/jtam.v6i4.10944

Abstract

The World Health Organization (WHO) asserted the recently discovered severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), also known as COVID-19, a pandemic on March 11, 2020. Since the genesis and growth mechanisms of this virus are unclear and impossible to detect, there are still many uncertainties concerning it and no vaccination or effective treatment. The main goal is to halt its global spread. This paper employed a regression growth model with an extended Weibull function on the dynamics of COVID-19 to make predictions about its spread. Our findings demonstrate the viability of using this model to forecast the spread of the virus. Using a logistic growth regression model, the note tabulates the COVID-19-related final epidemic sizes for a few sites, including Ireland and Israel.
Safety Verification of Uncertain Max-Plus-Linear Systems Aditya Putra Pratama; Subchan Subchan; Dieky Adzkiya
(IJCSAM) International Journal of Computing Science and Applied Mathematics Vol. 4 No. 2 (2018)
Publisher : LPPM Institut Teknologi Sepuluh Nopember

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

In this work, we discussed the verification of autonomous uncertain Max-Plus-Linear (uncertain MPL) systems with respect to safety property by using the reachability analysis approach. More precisely, given an uncertain MPL system, a nonempty set of initial conditions, a time horizon and an unsafe set, we want to determine whether the state can reach the unsafe set within the given time horizon. If the unsafe set is reachable, then the system is not safe. Otherwise, the system is safe. Our approach uses the piecewise affine representation of MPL systems to compute the reachable sets exactly.
Safety Verification of SEITR Epidemic Model on Recombination HIV and Hepatitis B Virus using Taylor Model Asmudik Asmudik; Dieky Adzkiya; Mardlijah Mardlijah; Hariyanto Hariyanto
(IJCSAM) International Journal of Computing Science and Applied Mathematics Vol. 7 No. 1 (2021)
Publisher : LPPM Institut Teknologi Sepuluh Nopember

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Human Immunodeficiency Virus (HIV) is an AIDS (Acquired Immuno Deficiency Syndrome) virus that attacks the immune system for which there is no cure. When the immune system has decreased, it is prone to diseases such as Hepatitis B disease. To reduce the error value of the number of subpopulations, we use an interval approximation. One of the simulation calculations that the number of variables initially intervals is Taylor model. Taylor's model can be used to verify that the number of people infected with HIV and Hepatitis B will not exceed the specified number of unsafe sets. To calculate the set of states that are reached by the system over a certain period of time, given the initial conditions and parameters. The initial condition is divided into three scenarios, an affordable set of states, safety verification can be done. As a result of the safety verification of the three scenarios provided there is no set of states that are not safe, so the results of all three scenarios are safe.
Object Oriented Design of Software Tool for Finite Abstractions of Max-Plus-Linear Systems using Unified Modeling Language Muhammadun Muhammadun; Dieky Adzkiya; Imam Mukhlash
(IJCSAM) International Journal of Computing Science and Applied Mathematics Vol. 3 No. 1 (2017)
Publisher : LPPM Institut Teknologi Sepuluh Nopember

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Max-Plus-Linear (MPL) systems are a class of discrete-event systems with a continuous state space characterizing the timing of the underlying sequential discrete events. There is a formal approach to analyze these systems based on finite abstractions. The abstraction algorithms have been in MATLAB using list data structure and in JAVA using tree data structure. The MATLAB implementation requires long computational time, whereas the JAVA one requires larger memory allocation. In this work, we discuss an object oriented design in C++ using tree data structure without recursive functions in the hope of improving the results obtained by the two previous implementations.
Pergerakan Aliran MHD Ag-AIR Melewati Bola Pejal Yolanda Norasia; Basuki Widodo; Dieky Adzkiya
Limits: Journal of Mathematics and Its Applications Vol. 18 No. 1 (2021): Limits: Journal of Mathematics and Its Applications Volume 18 Nomor 1 Edisi Me
Publisher : Pusat Publikasi Ilmiah LPPM Institut Teknologi Sepuluh Nopember

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Fluida merupakan zat yang dapat mengalir dan mengalami perubahan secara kontinu akibat adanya tegangan geser. Analisis pengukuran dari ketahanan fluida terhadap tegangan geser menggunakan viskositas. Berdasarkan viskositas, fluida dibagi menjadi dua yaitu fluida newtonian dan fluida non-newtonian. Fluida non-newtonian terdiri atas fluida viskos, fluida mikropolar dan fluida nano. Salah satu contoh fluida nano adalah Ag-Air. Fluida tersebut tersusun dari fluida dasar air dan partikel nano Ag yang memiliki daya hantar dan tingkat konduktivitas yang tinggi. Adanya pengaruh medan magnet pada Fluida nano Ag-Air, maka menjadi fluida tersebut dapat menghantarkan arus listrik (memiliki sifat magnetohidrodinamik/MHD). Merujuk pada hasil riset sebelumnya bahwa parameter magnetik dan konveksi dapat mempengaruhi profil kecepatan dan temperatur pada fluida. Pada penelitian ini dibahas mengenai model matematika dan penyelesaian numeriknya dari permasalahan pergerakan aliran MHD Ag-Air yang melewati bola pejal dengan pengaruh parameter magnetik dan konveksi. Diperoleh hasil bahwa variasi magnetik yang meningkat mengakibatkan pergerakan Ag-Air melambat dan temperatur Ag-Air meningkat. Dengan meningkatkan parameter konveksi diperoleh pergerakan Ag-Air lebih cepat dan temperatur Ag-Air mengalami penurunan.
Co-Authors Acep Taryana, Acep Aditya Putra Pratama Aditya Putra Pratama Arief Baihaqi Arief Baihaqi Asmudik Asmudik Asmudik, Asmudik Basuki Widodo Chairul Imron, Chairul Dennis V. Madrigal Dinita Rahmalia, Dinita Erna Apriliani Fajar Annas Susanto Guisheng Zhai Hariyanto Hariyanto Hariyanto, Hariyanto Helisyah Nur Fadhilah Hendro Nurhadi Imam Fauzi Imam Mukhlash Jason Otniel Dharmanta Mardianto, Lutfi Mardlijah - Mayga Kiki Mehmood, Saba Mochamad Satria Dharma Utama Mohamad Yusak Anshori Mufatin Fauziyah Mufid, Muhammad Syifa'ul Muhammadun Muhammadun Muhammadun Muhammadun Muhammadun Norasia, Yolanda Pamela, Eirene Juwita Ningtyas Raza, Wasim Riyanarto Sarno Sanjaya, Bandung Arry Subchan Subchan Subchan, Subchan Teay Shawyun Teguh Herlambang Tri Rahayuningsih Widya Nilam Rumana Yolanda Norasia