Article Per Year (5 Year)
p-Index From 2021 - 2026
2.147
P-Index
This Author published in this journals
All Journal International Journal of Electrical and Computer Engineering Jurnal Sains dan Seni ITS Bulletin of Electrical Engineering and Informatics Bulletin of Electrical Engineering and Informatics Jurnal Ilmiah Kursor Sinergi Register: Jurnal Ilmiah Teknologi Sistem Informasi Bulletin of Electrical Engineering and Informatics Science and Technology Indonesia Limits: Journal of Mathematics and Its Applications JAIM (Jurnal Abdi Masyarakat) Jurnal Borneo Saintek Indonesian Journal of Electrical Engineering and Computer Science Contemporary Mathematics and Applications (ConMathA) Majalah Ilmiah Matematika dan Statistika (MIMS) Journal of Applied Data Sciences Sewagati International Journal of Computing Science and Applied Mathematics-IJCSAM
Imam Mukhlash
Departemen Matematika Institut Teknologi Sepuluh Nopember
Agriculture, Biological Sciences & Forestry Arts Humanities Biochemistry, Genetics & Molecular Biology Chemical Engineering, Chemistry & Bioengineering Civil Engineering, Building, Construction & Architecture Computer Science & IT Control & Systems Engineering Decision Sciences, Operations Research & Management Economics, Econometrics & Finance Education Electrical & Electronics Engineering Engineering Environmental Science Industrial & Manufacturing Engineering Languange, Linguistic, Communication & Media Law, Crime, Criminology & Criminal Justice Materials Science & Nanotechnology Mathematics Nursing Physics Public Health Social Sciences Other

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

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

 1 
Mining Fuzzy Time Interval Periodic Patterns in Smart Home Data Imam Mukhlash; Desna Yuanda; Mohammad Iqbal
International Journal of Electrical and Computer Engineering (IJECE) Vol 8, No 5: October 2018
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (611.021 KB) | DOI: 10.11591/ijece.v8i5.pp3374-3385

Abstract

A convergence of technologies in data mining, machine learning, and a persuasive computer has led to an interest in the development of smart environment to help human with functions, such as monitoring and remote health interventions, activity recognition, energy saving. The need for technology development was confirmed again by the aging population and the importance of individual independent in their own homes. Pattern mining on sensor data from smart home is widely applied in research such as using data mining. In this paper, we proposed a periodic pattern mining in smart house data that is integrated between the FP-Growth PrefixSpan algorithm and a fuzzy approach, which is called as fuzzy-time interval periodic patterns mining. Our purpose is to obtain the periodic pattern of activity at various time intervals. The simulation results show that the resident activities can be recognized by analyzing the triggered sensor patterns, and the impacts of minimum support values to the number of fuzzy-time-interval periodic patterns generated. Moreover, fuzzy-time-interval periodic patterns that are generated encourages to find daily or anomalies resident’s habits.
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.
Co-Authors Acep Taryana, Acep Akhmad Arif Junaidi Alvida Mustika Rukmi Anang Kunaefi, Anang Arifah, Enny Durratul Bijan Davvaz Budi Setiyono Daniel Happy Putra Desna Yuanda Dieky Adzkiya Dimas Anton Asfani Dwi Fitriaini Nur Anisa Dwi Sunaryono Firda Puspita Devi Haris Prasetyo Hendy Hendy Hendy I Gst Ngr Rai Usadha Inu Laksito Wibowo Inu Laksito Wibowo Inu Laksito Wibowo Kartika Mahanani Lailatul Mabadi Chaira Laras Binarwati Meyrina Herawati Moh Khoiron Mohammad Iqbal Mohammad Iqbal Mohammad Iqbal Mohammad Isa Irawan Mohammad Jamhuri Mufid, Muhammad Syifa'ul Muhammadun Muhammadun Muhammadun Muhammadun Muhammadun Mujiono, Edo Priyo Utomo Putro Ni Nyoman Tri Puspaningsih Nurul Hidayat Nurul Hidayat Nurul Hidayati Putri, Endah R.M. Putri, Endah Rokhmati Merdika Rasyadan Taufiq Probojati Rifdy Fachry Riyanarto Sarno Rukmini, Meme Seno Adi Putra Setumin, Samsul Shinta Tri Kismanti Soedjatmiko Soegiarto , Duddy Soetrisno Soetrisno Soetrisno Soetrisno Soleha Soleha Suhud Wahyudi Supriyono, Joko Widya Nilam Rumana YAN ADITYA PRADANA