Article Per Year (5 Year)
p-Index From 2021 - 2026
1.884
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) Limits: Journal of Mathematics and Its Applications Square : Journal of Mathematics and Mathematics Education Contemporary Mathematics and Applications (ConMathA) Science Nature 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 : 22 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 3 Documents
Search
Journal : International Journal of Computing Science and Applied Mathematics-IJCSAM

 1 
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.
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