{"id":120,"date":"2021-01-10T10:55:49","date_gmt":"2021-01-10T03:55:49","guid":{"rendered":"http:\/\/notes.its.ac.id\/dieky\/?page_id=120"},"modified":"2024-08-23T13:35:10","modified_gmt":"2024-08-23T06:35:10","slug":"publications","status":"publish","type":"page","link":"https:\/\/notes.its.ac.id\/dieky\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\"><strong>Journal Articles<\/strong><\/h2>\n\n\n\n<ol class=\"wp-block-list\">\n<li>D. Adzkiya, M. S. Mufid, F. S. Saputri and A. Abate, &#8220;<a href=\"https:\/\/doi.org\/10.1080\/21642583.2024.2316166\" target=\"_blank\" rel=\"noreferrer noopener\">Control design of discrete-time unicycle model using satisfiability modulo theory<\/a>,&#8221; Systems Science &amp; Control Engineering, vol. 12, no. 1, pp. 2316166, Feb. 2024. <\/li>\n\n\n\n<li>Muhammadun, D. Adzkiya and I. Mukhlash, &#8220;<a rel=\"noreferrer noopener\" href=\"https:\/\/doi.org\/10.20473\/conmatha.v5i1.44274\" target=\"_blank\">Desain dan Implementasi Perangkat Lunak Untuk Abstraksi Berhingga Sistem Max-Plus-Linear dengan Tree Tanpa Fungsi Rekursif<\/a>,&#8221; Contemporary Mathematics and Applications, vol. 5, no. 1, pp. 15-26, Mar. 2023. <\/li>\n\n\n\n<li>H. N. Fadhilah, D. Adzkiya, D. K. Arif, G. Zhai and Mardlijah, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.34768\/amcs-2023-0007\" target=\"_blank\">Decentralized static output feedback controller design for linear interconnected systems<\/a>,&#8221; International Journal of Applied Mathematics and Computer Science, vol. 33, no. 1, pp. 83-96, Mar. 2023.<\/li>\n\n\n\n<li>B. Widodo, E. J. N. Pamela, D. Adzkiya and C. Imron, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.30598\/barekengvol16iss4pp1303-1312\" target=\"_blank\">Magnetohydrodynamics Nanoferro Fluid Flows Passing Through A Magnetic Porous Sphere Under Thermal Radiation Effect<\/a>,&#8221; <i>BAREKENG: Jurnal Ilmu Matematika dan Terapan<\/i>, vol. 16, no. 4, pp. 1303-1312, Dec. 2022. <\/li>\n\n\n\n<li>A. Muhith, I. H. Susanto, D. Rahmalia, D. Adzkiya and T. Herlambang, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/e-ndst.kiev.ua\/v22n5.htm\" target=\"_blank\">The Analysis of Demand and Supply of Blood in Hospital in Surabaya City Using Panel Data Regression<\/a>,&#8221; <i>Nonlinear Dynamics and Systems Theory<\/i>, vol. 22, no. 5, pp. 550-560, 2022. <\/li>\n\n\n\n<li>T. Herlambang, F. A. Susanto, D. Adzkiya, A. Suryowinoto and K. Oktafianto, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/e-ndst.kiev.ua\/v22n4.htm\" target=\"_blank\">Design of Navigation and Guidance Control System of Mobile Robot with Position Estimation Using Ensemble Kalman Filter (EnKF) and Square Root Ensemble Kalman Filter (SR-EnKF)<\/a>,&#8221; <i>Nonlinear Dynamics and Systems Theory<\/i>, vol. 22, no. 4, pp. 390-399, 2022. <\/li>\n\n\n\n<li>F. A. Susanto, M. Y. Anshori, D. Rahmalia, K. Oktafianto, D. Adzkiya, P. Katias and T. Herlambang, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/e-ndst.kiev.ua\/v22n4.htm\" target=\"_blank\">Estimation of Closed Hotels and Restaurants in Jakarta as Impact of Corona Virus Disease (Covid-19) Spread Using Backpropagation Neural Network<\/a>,&#8221; <i>Nonlinear Dynamics and Systems Theory<\/i>, vol. 22, no. 4, pp. 457-467, 2022. <\/li>\n\n\n\n<li>H. Nurhadi, M. Kiki, D. Adzkiya and T. Herlambang, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.11591\/ijece.v12i6.pp5988-5997\" target=\"_blank\">Estimation of water momentum and propeller velocity in bow thruster model of autonomous surface vehicle using modified Kalman filter<\/a>,&#8221; International Journal of Electrical and Computer Engineering, vol. 12, no. 6, pp. 5988-5997, Dec. 2022. <\/li>\n\n\n\n<li>W. Raza, D. Adzkiya, S. Subchan and S. Mehmood, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.31764\/jtam.v6i4.10944\" target=\"_blank\">COVID-19 Predictions Using Regression Growth Model in Ireland and Israel<\/a>,&#8221; JTAM (Jurnal Teori dan Aplikasi Matematika), vol. 6, no. 4, pp. 1047-1059, Oct. 2022. <\/li>\n\n\n\n<li>M. S. Mufid, D. Adzkiya and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1109\/TAC.2021.3090525\" target=\"_blank\">SMT-based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems<\/a>,&#8221; IEEE Transactions on Automatic Control, vol. 67, no. 6, pp. 2700-2714, Jun. 2022. <\/li>\n\n\n\n<li>M. Y. Anshori, T. Shawyun, D. V. Madrigal, D. Rahmalia, F. A. Susanto, T. Herlambang, D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/doi.org\/10.11591\/ijai.v11.i2.pp462-472\" target=\"_blank\">Estimation of closed hotels and restaurants in Jakarta as impact of corona virus disease spread using adaptive neuro fuzzy inference system<\/a>,&#8221; IAES International Journal of Artificial Intelligence, vol. 11, no. 2, pp. 462-472, Jun. 2022. <\/li>\n\n\n\n<li>M. Fauziyah, B. Widodo and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.21580\/square.2022.4.1.9480\" target=\"_blank\">Profil Mikrorotasi dan Temperatur Aliran Magnetohidrodinamik Fluida Mikrokutub Pada Bola Bermagnet<\/a>,&#8221; <i>Square: Journal of Mathematics and Mathematics Education<\/i>, vol. 4, no. 1, pp. 1-7, Apr. 2022. <\/li>\n\n\n\n<li>D. M. R. Maschio, B. Duarte, A. E. Lazzaretti, J.-M. S. Lafay, D. Adzkiya, J. P. da Costa and M. Teixeira, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1016\/j.ijepes.2021.107768\" target=\"_blank\">An event-driven approach for resources planning in distributed power generation systems<\/a>,&#8221; <i>International Journal of Electrical Power &amp; Energy Systems<\/i>, vol. 137, pp. 107768, May 2022. <\/li>\n\n\n\n<li>Subiono, J. Cahyono, D. Adzkiya and B. Davvaz, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1016\/j.jksuci.2020.02.004\" target=\"_blank\">A cryptographic algorithm using wavelet transforms over max-plus algebra<\/a>,&#8221; <i>Journal of King Saud University &#8211; Computer and Information Sciences<\/i>, vol. 34, no. 3, pp. 627-635, Mar. 2022. <\/li>\n\n\n\n<li>T. Herlambang, A. Y. P. Asih, D. Rahmalia, D. Adzkiya and N. Aini, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/www.e-ndst.kiev.ua\/v22n3.htm\" target=\"_blank\">The Effects of Pesticide as Optimal Control of Agriculture Pest Growth Dynamical Model<\/a>,&#8221; <i>Nonlinear Dynamics and Systems Theory<\/i>, vol. 22, no. 3, pp. 281-290, 2022. <\/li>\n\n\n\n<li>B. Widodo, A. S. Nugraha, D. Adzkiya and M. Z. Salleh, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.37934\/cfdl.13.12.2131\" target=\"_blank\">Magnetohydrodynamic Effects in Mixed Convection Copper-Water Nano Fluid Flow at Lower Stagnation Point on a Sliced Sphere<\/a>,&#8221; <i>CFD Letters<\/i>, vol. 13, no. 12, pp. 21-31, Dec. 2021. <\/li>\n\n\n\n<li>S. Subchan, Z. Zuhair, T. Asfihani, D. Adzkiya and S. Kim, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1007\/s12555-020-0724-y\" target=\"_blank\">Energy Optimization on Wireless-networked Control Systems (W-NCSs) Using Linear Quadratic Gaussian (LQG)<\/a>,&#8221; <i>International Journal of Control, Automation and Systems<\/i>, vol. 19, no. 12, pp. 3853\u20133861, Dec. 2021. <\/li>\n\n\n\n<li>H. Purnawan, S. Subchan, D. Adzkiya and T. Asfihani, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/www.e-ndst.kiev.ua\/v21n3.htm\" target=\"_blank\">Trajectory Tracking of Coordinated Multi-Robot Systems using Nonlinear Model Predictive Control<\/a>,&#8221; <i>Nonlinear Dynamics and Systems Theory<\/i>, vol. 21, no. 3, pp. 303-314, 2021. <\/li>\n\n\n\n<li>Y. Norasia, B. Widodo and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.12962\/limits.v18i1.7888\" target=\"_blank\">Pergerakan Aliran MHD Ag-AIR Melewati Bola Pejal<\/a>,&#8221; <i>Limits: Journal of Mathematics and Its Applications<\/i>, vol. 18, no. 1, pp. 15-21, 2021. <\/li>\n\n\n\n<li>Asmudik, D. Adzkiya, Mardlijah and Hariyanto, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.12962\/j24775401.v7i1.7691\" target=\"_blank\">Safety Verification of SEITR Epidemic Model on Recombination HIV and Hepatitis B Virus using Taylor Model<\/a>,&#8221; International Journal of Computing Science and Applied Mathematics, vol. 7, no. 1, pp. 15-18, Feb. 2021. <\/li>\n\n\n\n<li>S. Subchan, A. M. Syafii, T. Asfihani and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1080\/21642583.2021.1873870\" target=\"_blank\">Modified Kalman filter-based model predictive control for ship heading control with probabilistic constraints<\/a>,&#8221; Systems Science &amp; Control Engineering, vol. 9, no. 1, pp. 109-116, 2021. <\/li>\n\n\n\n<li>T. Herlambang, D. Rahmalia, H. Nurhadi, D. Adzkiya and S. Subchan, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/www.e-ndst.kiev.ua\/v20n3.htm\" target=\"_blank\">Optimization of Linear Quadratic Regulator with Tracking Applied to Autonomous Underwater Vehicle (AUV) Using Cuckoo Search<\/a>,&#8221; <i>Nonlinear Dynamics and Systems Theory<\/i>, vol. 20, no. 3, pp. 282-298, 2020. <\/li>\n\n\n\n<li>L. Mardianto, B. Widodo and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.12962\/limits.v17i1.6752\" target=\"_blank\">Aliran Konveksi Campuran Magnetohidrodinamik yang Melewati Bola Bermagnet<\/a>,&#8221; <i>Limits: Journal of Mathematics and Its Applications<\/i>, vol. 17, no. 1, pp. 9-18, 2020. <\/li>\n\n\n\n<li>T. Asfihani, B. Jannaty, E. Apriliani, Subchan, D. M. Rosyid, A. Sulisetyono and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/sersc.org\/journals\/index.php\/IJAST\/article\/view\/22916\" target=\"_blank\">Ship Heading Control of USV using Model Predictive Control<\/a>,&#8221; <i>International Journal of Advanced Science and Technology<\/i>, vol. 29, no. 7s, pp. 4174-4186, Jun. 2020. <\/li>\n\n\n\n<li>S. Subchan, T. Asfihani, D. E. Wardhani, I. Fitria, D. Adzkiya and D. M. Rosyid, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/sersc.org\/journals\/index.php\/IJAST\/article\/view\/22917\" target=\"_blank\">Stability Control of Ship in Missile Firing Mission Using Model Predictive Control<\/a>,&#8221; <i>International Journal of Advanced Science and Technology<\/i>, vol. 29, no. 7s, pp. 4187-4195, Jun. 2020. <\/li>\n\n\n\n<li>H. Nurhadi, E. Apriliani, T. Herlambang, and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.11591\/ijece.v10i5.pp4789-4797\" target=\"_blank\">Sliding mode control design for autonomous surface vehicle motion under the influence of environmental factor<\/a>,&#8221; <i>International Journal of Electrical and Computer Engineering<\/i>, vol. 10, no. 5, pp. 4789-4797, Oct. 2020. <\/li>\n\n\n\n<li>T. Herlambang, S. Subchan, H. Nurhadi and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/www.e-ndst.kiev.ua\/v20n1.htm\" target=\"_blank\">Motion Control Design of UNUSAITS AUV Using Sliding PID<\/a>,&#8221; <i>Nonlinear Dynamics and Systems Theory<\/i>, vol. 20, no. 1, pp. 51-60, 2020. <\/li>\n\n\n\n<li>H. N. Fadhilah, G. Zhai, D. Adzkiya and E. Apriliani, &#8220;Hinf state feedback for linear systems with decentralized control inputs,&#8221; <i>Science Nature<\/i>, vol. 2, no. 4, pp. 219-231, Dec. 2019. <\/li>\n\n\n\n<li>Darmadi, M. I. Irawan, I. Mukhlash, D. Adzkiya and Sanusi, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/www.ijstr.org\/final-print\/dec2019\/Student-Visual-Thinking-Schemes-In-Understanding-The-Concept-Of-Solving-Trigonometric-Equations.pdf\" target=\"_blank\">Student Visual Thinking Schemes In Understanding The Concept Of Solving Trigonometric Equations<\/a>,&#8221; <i>International Journal of Scientific &amp; Technology Research<\/i>, vol. 8, no. 12, pp. 2528-2531, Dec. 2019. <\/li>\n\n\n\n<li>D. K. Arif, D. Adzkiya and H. N. Fadhilah, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/www.e-ndst.kiev.ua\/v19n4.htm\" target=\"_blank\">Kalman Filter Estimation of Identifed Reduced Model Using Balanced Truncation: a Case Study of the Bengawan Solo River<\/a>,&#8221; <i>Nonlinear Dynamics and Systems Theory<\/i>, vol. 19, no. 4, pp. 455-463, 2019. <\/li>\n\n\n\n<li>T. Herlambang, D. Adzkiya and H. Nurhadi, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/asrojournal-sttal.ac.id\/index.php\/ASRO\/article\/view\/133\" target=\"_blank\">Optimization of Touristant ASV with Jacobian Approach<\/a>,&#8221; <i>International Journal of ASRO-STTAL<\/i>, vol. 10, no. 2, pp. 100-104, Jul. 2019. <\/li>\n\n\n\n<li>D. K. Arif, Fatmawati, D. Adzkiya, Mardlijah, H. N. Fadhilah and P. Aditya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/www.e-ndst.kiev.ua\/v19n3.htm\" target=\"_blank\">Analysis of the Model Reduction Using Singular Perturbation Approximation on Unstable and Non-Minimal Discrete-Time Linear Systems and Its Applications<\/a>,&#8221; <i>Nonlinear Dynamics and Systems Theory<\/i>, vol. 19, no. 3, pp. 362-371, 2019. <\/li>\n\n\n\n<li>Mardlijah, G. Zhai, D. Adzkiya, L. Mardianto and M. Ikhwan, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1080\/21642583.2019.1625080\" target=\"_blank\">Modified T2FSMC approach for solar panel systems<\/a>,&#8221; <i>Systems Science &amp; Control Engineering<\/i>, vol. 7, no. 1, pp. 189-197, 2019. <\/li>\n\n\n\n<li>B. Widodo, Y. Norasia and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/www.ijiesr.com\/liebrary\/e17\/9114259996.pdf\" target=\"_blank\">MHD Newtonian and non-Newtonian Nano Fluid Flow Passing On A Magnetic Sphere with Mixed Convection Effect<\/a>,&#8221; <i>International Journal of Innovation Engineering and Science Research<\/i>, vol. 2, no. 6, pp. 26-37, Nov. 2018. <\/li>\n\n\n\n<li>Y. Norasia, B. Widodo and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/iraj.in\/journal\/IJASEAT\/\/paper_detail.php?paper_id=13903&amp;nameImplementation_of_Implicit_Finite_Difference_on_Unsteady_MHD_Nano_Fluid_Flow_Pass_a_Magnetic_Sphere_Problem\" target=\"_blank\">Implementation of Implicit Finite Difference on Unsteady MHD Nano Fluid Flow Pass a Magnetic Sphere Problem<\/a>,&#8221; <i>International Journal of Advances in Science, Engineering and Technology<\/i>, vol. 6, no. 4, pp. 31-38, Oct. 2018. <\/li>\n\n\n\n<li>I. Mukhlash, A. Z. Arham, F. Rozi, M. Kimura and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.18178\/ijmlc.2018.8.5.725\" target=\"_blank\">Opinion Mining on Book Review Using Convolutional Neural Network Algorithm \u2014 Long Short Term Memory<\/a>,&#8221; <i>International Journal of Machine Learning and Computing<\/i>, vol. 8, no. 5, pp. 437-441, Oct. 2018. <\/li>\n\n\n\n<li>A. P. Pratama, Subchan and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.12962\/j24775401.v4i2.3454\" target=\"_blank\">Safety Verification of Uncertain Max-Plus-Linear Systems<\/a>,&#8221; <i>International Journal of Computing Science and Applied Mathematics<\/i>, vol. 4, no. 2, pp. 52-55, Aug. 2018. <\/li>\n\n\n\n<li>H. Susanto, R. Kusdiantara, N. Li, O. B. Kirikchi, D. Adzkiya, E. R. M. Putri and T. Asfihani, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1103\/PhysRevE.97.062204\" target=\"_blank\">Snakes and ghosts in a parity-time-symmetric chain of dimers<\/a>,&#8221; <i>Physical Review E<\/i>, vol. 97, no. 6, p. 062204, Jun. 2018. <\/li>\n\n\n\n<li>M. Mazo Jr., A. Sharifi Kolarijani, D. Adzkiya and C. Hop, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-319-78449-6_10\" target=\"_blank\">Abstracted Models for Scheduling of Event-Triggered Control Data Traffic<\/a>,&#8221; <i>Control Subject to Computational and Communication Constraints: Current Challenges<\/i>, pp. 197&#8211;217, 2018. <\/li>\n\n\n\n<li>Subiono, K. Fahim and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.14736\/kyb-2018-2-0243\" target=\"_blank\">Generalized public transportation scheduling using max-plus algebra<\/a>,&#8221; <i>Kybernetika<\/i>, vol. 54, no. 2, pp. 243-267, 2018. <\/li>\n\n\n\n<li>M. S. Utama, B. Widodo and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.12962\/j23373520.v7i1.28856\" target=\"_blank\">Magnetohidrodinamik Tak Tunak pada Konveksi Campuran yang Mengalir Melalui Bola Teriris Dalam Fluida Kental Di Bawah Pengaruh Medan Magnet<\/a>,&#8221; <i>Jurnal Sains dan Seni ITS<\/i>, vol. 7, no. 1, pp. 7-12, 2018. <\/li>\n\n\n\n<li>I. Mukhlash, W. N. Rumana, D. Adzkiya and R. Sarno, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.11591\/eei.v7i1.845\" target=\"_blank\">Business Process Improvement Of Production Systems Using Coloured Petri Nets<\/a>,&#8221; <i>Bulletin of Electrical Engineering and Informatics<\/i>, vol. 7, no. 1, pp. 102-112, Mar. 2018. <\/li>\n\n\n\n<li>D. K. Arif, D. Adzkiya, E. Apriliani and I. N. Khasanah, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/einspem.upm.edu.my\/journal\/volume11.3.php\" target=\"_blank\">Model Reduction of Non-minimal Discrete-Time Linear-Time-Invariant Systems<\/a>,&#8221; <i>Malaysian Journal of Mathematical Sciences<\/i>, vol. 11, no. 3, pp. 377-391, Sep. 2017. <\/li>\n\n\n\n<li>Muhammadun, D. Adzkiya and I. Mukhlash, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.12962\/j24775401.v3i1.2119\" target=\"_blank\">Object Oriented Design of Software Tool for Finite Abstractions of Max-Plus-Linear Systems using Unified Modeling Language<\/a>,&#8221; <i>International Journal of Computing Science and Applied Mathematics<\/i>, vol. 3, no. 1, pp. 32-39, Feb. 2017. <\/li>\n\n\n\n<li>Subiono, M. S. Mufid and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1007\/s10626-014-0204-8\" target=\"_blank\">Eigenproblems of latin squares in bipartite (min,max,+)-systems<\/a>,&#8221; <i>Discrete Event Dynamic Systems<\/i>, vol. 26, no. 4, pp. 657-668, Dec. 2016. <a rel=\"noopener noreferrer\" href=\"https:\/\/rdcu.be\/5xUs\" target=\"_blank\">View<\/a> <\/li>\n\n\n\n<li>S. Esmaeil Zadeh Soudjani, D. Adzkiya and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/TAC.2015.2502781\" target=\"_blank\">Formal Verification of Stochastic Max-Plus-Linear Systems<\/a>,&#8221; <i>IEEE Transactions on Automatic Control<\/i>, vol. 61, no. 10, pp. 2861-2876, Oct. 2016 <\/li>\n\n\n\n<li>D. Adzkiya and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.12988\/ams.2016.65208\" target=\"_blank\">Modeling of railway networks using timed automata<\/a>,&#8221; <i>Applied Mathematical Sciences<\/i>, vol. 10, no. 49, pp. 2429-2436, Jul. 2016. <\/li>\n\n\n\n<li>D. Adzkiya, Y. Zhang and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1007\/s10626-015-0218-x\" target=\"_blank\">VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems<\/a>,&#8221; <i>Discrete Event Dynamic Systems<\/i>, vol. 26, no. 1, pp. 109-145, Mar. 2016. <\/li>\n\n\n\n<li>D. Adzkiya, B. De Schutter and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1016\/j.automatica.2015.01.002\" target=\"_blank\">Computational techniques for reachability analysis of Max-Plus-Linear systems<\/a>,&#8221; <i>Automatica<\/i>, vol. 53, pp. 293-302, Mar. 2015. <\/li>\n\n\n\n<li>D. Adzkiya, B. De Schutter and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/TAC.2013.2273299\" target=\"_blank\">Finite Abstractions of Max-Plus-Linear Systems<\/a>,&#8221; <i>IEEE Transactions on Automatic Control<\/i>, vol. 58, no. 12, pp. 3039-3053, Dec. 2013. <\/li>\n\n\n\n<li>E. Apriliani, D. Adzkiya and A. Baihaqi, &#8220;The Reduced Rank of Ensemble Kalman Filter to Estimate the Temperature of Non Isothermal Continue Stirred Tank Reactor,&#8221; <i>Jurnal Teknik Industri<\/i>, vol. 13, no. 2, pp. 107-112, Dec. 2011. <\/li>\n\n\n\n<li>E. Apriliani, B. A. Sanjoyo and D. Adzkiya, &#8220;The Groundwater Pollution Estimation by The Ensemble Kalman Filter,&#8221; <i>Canadian Journal on Science and Engineering Mathematics<\/i>, vol. 2, no. 2, pp. 60-63, Jun. 2011. <\/li>\n<\/ol>\n\n\n\n<h2 class=\"wp-block-heading\">Conference Proceedings<\/h2>\n\n\n\n<ol class=\"wp-block-list\">\n<li>A. Taryana, D. Adzkiya, M. S. Mufid, I. Mukhlash and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1007\/978-981-97-2136-8_21\" target=\"_blank\">LTL Model Checking for Verification of Electronic Medical Record (EMR) Design<\/a>,&#8221; In <i>Springer Proceedings in Mathematics &amp; Statistics, vol 455<\/i>, pp. 283-297, 2024. <\/li>\n\n\n\n<li>M. N. Hidayati, F. S. Saputri, M. S. Mufid and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1109\/ICAMIMIA60881.2023.10427890\" target=\"_blank\">Control Design of Autonomous Cars Using Satisfiability Modulo Theory<\/a>,&#8221; In <i>Proceedings of the International Conference Advanced Mechatronics, Intelligent Manufacture and Industrial Automation<\/i>, pp. 679-684, 2023. <\/li>\n\n\n\n<li>T. Utomo, Subiono and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.2991\/978-94-6463-138-8_6\" target=\"_blank\">Hierarchical Structure of Semi-double Track Railway Line Using Supervisory Control Petri Net<\/a>,&#8221; In <i>Proceedings of the International Conference of Combinatorics, Graph Theory, and Network Topology<\/i>, pp. 54-60, 2023. <\/li>\n\n\n\n<li>B. Widodo, I. Mayagrafinda and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/doi.org\/10.1063\/5.0131704\" target=\"_blank\">Magnetohydrodynamics nano fluid flows through a vertical porous cylinder<\/a>,&#8221; <i>AIP Conference Proceedings<\/i>, vol. 2641, no. 1, p. 030003, 2022. <\/li>\n\n\n\n<li>H. N. Fadhilah, Mardlijah, D. K. Arif, G. Zhai and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ISITIA56226.2022.9855281\" target=\"_blank\">Decentralized Observer-based Controller Design for Linear Interconnected Systems<\/a>,&#8221; In <i>Proceedings of the International Seminar on Intelligent Technology and Its Applications<\/i>, pp. 250-255, 2022. <\/li>\n\n\n\n<li>J. O. Dharmanta, B. Widodo, D. Adzkiya and C. Imron, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/jurnal.unej.ac.id\/index.php\/prosiding\/article\/view\/33525\" target=\"_blank\">Magnetohidrodinamika Fluida Mikropolar Pada Lapisan Batas Melewati Pelat Datar Yang Dipengaruhi Konveksi Campuran<\/a>,&#8221; <i>Prosiding Seminar Nasional Matematika, Geometri, Statistika, dan Komputasi<\/i>, pp. 359-372, 2022. <\/li>\n\n\n\n<li>B. Widodo, T. Eviloka, C. Imron and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1007\/978-981-16-8903-1_20\" target=\"_blank\">Magnetohydrodynamic Effects in Mixed Convection Viscoelastic Fluid Flow at Lower Stagnation Point on a Sliced Sphere<\/a>,&#8221; <i>Proceedings of the International Conference on the Applications of Science and Mathematics<\/i>, pp. 197-211, 2022. <\/li>\n\n\n\n<li>S. Wahyuningtri, D. Adzkiya and H. Nurhadi, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICAMIMIA54022.2021.9807805\" target=\"_blank\">Motion Control Design and Analysis of UR5 Collaborative Robots Using Proportional Integral Derivative (PID) Method<\/a>,&#8221; In <i>Proceedings of the International Conference on Advanced Mechatronics, Intelligent Manufacture and Industrial Automation<\/i>, pp. 157-161, 2021. <\/li>\n\n\n\n<li>M. N. Hidayati, D. Adzkiya and H. Nurhadi, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICAMIMIA54022.2021.9807732\" target=\"_blank\">Motion Control Design and Analysis of UR5 Collaborative Robots Using Fuzzy Logic Control (FLC) Method<\/a>,&#8221; In <i>Proceedings of the International Conference on Advanced Mechatronics, Intelligent Manufacture and Industrial Automation<\/i>, pp. 162-167, 2021. <\/li>\n\n\n\n<li>A. Wahyantika, D. Adzkiya and H. Nurhadi, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICAMIMIA54022.2021.9807695\" target=\"_blank\">Sliding Mode Control for Autonomous Vehicle Systems<\/a>,&#8221; In <i>Proceedings of the International Conference on Advanced Mechatronics, Intelligent Manufacture and Industrial Automation<\/i>, pp. 177-181, 2021. <\/li>\n\n\n\n<li>A. R. Hendrawan and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1821\/1\/012031\" target=\"_blank\">Modelling and Verification of Cash Withdrawal Transaction in Automated Teller Machine Using Timed Automata<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1821, no. 1, p. 012031, Mar. 2021. <\/li>\n\n\n\n<li>Mardlijah, A. Chandra and D Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1821\/1\/012056\" target=\"_blank\">Control design of motion of Autonomous Underwater Vehicle (AUV) with Active Ballast using Sliding Mode Control<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1821, no. 1, p. 012056, Mar. 2021. <\/li>\n\n\n\n<li>M. S. Mufid, D. Adzkiya and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.060\" target=\"_blank\">Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems<\/a>,&#8221; In <i>Proceedings of the International Workshop on Discrete Event Systems<\/i>, pp. 459-465, 2020. <\/li>\n\n\n\n<li>L. Bu, A. Abate, D. Adzkiya, M. S. Mufid, R. Ray, Y. Wu and E. Zaffanella, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.29007\/bhwx\" target=\"_blank\">ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking<\/a>,&#8221; In <i>7th International Workshop on Applied Verification of Continuous and Hybrid Systems<\/i>, vol. 74, pp. 1-15, 2020. <\/li>\n\n\n\n<li>T. Herlambang, D. Adzkiya and H. Nurhadi, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1538\/1\/012035\" target=\"_blank\">Trajectory Estimation of Autonomous Surface Vehicle Using Extended Kalman Filter<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1538, no. 1, p. 012035, May 2020. <\/li>\n\n\n\n<li>D. Adzkiya, H. Nurhadi and T. Herlambang, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1490\/1\/012057\" target=\"_blank\">Linearization of two-state thruster models<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1490, no. 1, p. 012057, Mar. 2020. <\/li>\n\n\n\n<li>T. Asfihani, M. K. Mufidah, S. Subchan and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1490\/1\/012069\" target=\"_blank\">Missile Control Design for Moving Target using Model Predictive Control<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1490, no. 1, p. 012069, Mar. 2020. <\/li>\n\n\n\n<li>O. Safitri, B. Widodo, D. Adzkiya and K. Kamiran, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1063\/5.0007933\" target=\"_blank\">Unsteady magnetohydrodynamics mixed convection flow pass sliced magnetic sphere in nano fluid<\/a>,&#8221; <i>AIP Conference Proceedings<\/i>, vol. 2242, no. 1, p. 030021, 2020. <\/li>\n\n\n\n<li>H. Nurhadi, T. Herlambang and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICAMIMIA47173.2019.9223354\" target=\"_blank\">Trajectory Estimation of Autonomous Surface Vehicle using Square Root Ensemble Kalman Filter<\/a>,&#8221; In <i>Proceedings of the International Conference on Advanced Mechatronics, Intelligent Manufacture and Industrial Automation<\/i>, pp. 325-328, 2019. <\/li>\n\n\n\n<li>D. Adzkiya, H. Nurhadi and T. Herlambang, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICAMIMIA47173.2019.9223397\" target=\"_blank\">Design of Sliding Mode Control for Linearized Touristant ASV Model<\/a>,&#8221; In <i>Proceedings of the International Conference on Advanced Mechatronics, Intelligent Manufacture and Industrial Automation<\/i>, pp. 329-333, 2019. <\/li>\n\n\n\n<li>H. N. Fadhilah, D. K. Arif, Fatmawati, D. Adzkiya and G. Zhai, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICEEI47359.2019.8988847\" target=\"_blank\">Centralized and decentralized Hinf controller design for storey building systems using matrix inequality approach<\/a>,&#8221; In <i>Proceedings of the International Conference on Electrical Engineering and Informatics<\/i>, pp. 105-110, Jul. 2019. <\/li>\n\n\n\n<li>S. Subchan, R. W. Ismail, T. Asfihani and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/IWCIA47330.2019.8955002\" target=\"_blank\">Estimation of Hydrodynamic Coefficients using Unscented Kalman Filter and Recursive Least Square<\/a>,&#8221; In <i>Proceedings of the International Workshop on Computational Intelligence and Applications<\/i>, pp. 9-13, Nov. 2019. <\/li>\n\n\n\n<li>D. K. Rahma Putri, Subchan, D. Adzkiya and T. Asfihani, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/ieeexplore.ieee.org\/document\/8938455\" target=\"_blank\">Ship Heading Control for Dubins Path Tracking and Collision Avoidance using Model Predictive Control<\/a>,&#8221; In <i>Proceedings of the International Conference on Information and Communications Technology<\/i>, pp. 628-633, Jul. 2019. <\/li>\n\n\n\n<li>H. Nurhadi, T. Herlambang and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1063\/1.5138367\" target=\"_blank\">Position estimation of Touristant ASV using ensemble Kalman filter<\/a>,&#8221; <i>AIP Conference Proceedings<\/i>, vol. 2187, no. 1, p. 060006, 2019. <\/li>\n\n\n\n<li>M. U. Albab, M. I. Irawan and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1373\/1\/012034\" target=\"_blank\">Forecasting of Vannamei Shrimp Production Based on Weather Factors Using Radial Basis Function Neural Network Approach (Case Study: Lamongan District)<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1373, no. 1, p. 012034, Nov 2019. <\/li>\n\n\n\n<li>M. S. Mufid, D. Adzkiya and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1007\/978-3-030-29662-9_9\" target=\"_blank\">Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions<\/a>,&#8221; In <i>Proceedings of the International Conference on Formal Modeling and Analysis of Timed Systems<\/i>, pp. 142-159, Aug. 2019. <\/li>\n\n\n\n<li>G. Frehse, A. Abate, D. Adzkiya, A. Becchi, L. Bu, A. Cimatti, M. Giacobbe, A. Griggio, S. Mover, M. S. Mufid, I. Riouak, S. Tonetta and E. Zaffanella, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.29007\/rjwn\" target=\"_blank\">ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics<\/a>,&#8221; In <i>6th International Workshop on Applied Verification of Continuous and Hybrid Systems<\/i>, vol. 61, pp. 1-13, 2019. <\/li>\n\n\n\n<li>M. A. N. Anam, D. Adzkiya and T. Asfihani, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1218\/1\/012027\" target=\"_blank\">Altitude Control Design of LSU-05 Aircraft Using Abstraction Method<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1218, no. 1, p. 012027, May 2019. <\/li>\n\n\n\n<li>Soleha, S. E. Setiawan, A. Margaretha and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1218\/1\/012032\" target=\"_blank\">On Some closed operations in threshold graphs<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1218, no. 1, p. 012032, May 2019. <\/li>\n\n\n\n<li>M. I. Irawan, I. Mukhlash, D. Adzkiya, Darmadi and Sanusi, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1218\/1\/012049\" target=\"_blank\">Development of trigonometric visualization concepts to increase the study motivations of SMK students<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1218, no. 1, p. 012049, May 2019. <\/li>\n\n\n\n<li>D. K. Arif, D. Adzkiya, M. K. Roziq, P. Aditya and H. N. Fadhilah, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1218\/1\/012050\" target=\"_blank\">Model reduction analysis using Hankel Norm Approximation on discrete-time linear system with the special shape of matrix A<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1218, no. 1, p. 012050, May 2019. <\/li>\n\n\n\n<li>B. Widodo, Y. Norasia and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1218\/1\/012057\" target=\"_blank\">MHD fluid flow with the effect of mixed convection passing on a magnetic sphere in newtonian nano fluid<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1218, no. 1, p. 012057, May 2019. <\/li>\n\n\n\n<li>B. Widodo, L. Mardianto and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1153\/1\/012059\" target=\"_blank\">Numerical investigation on magnetohydrodynamics mixed convection flow past a magnetic sphere<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1153, no. 1, p. 012059, Feb. 2019. <\/li>\n\n\n\n<li>B. Widodo, R. Oktavia P, N. Asiyah and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1153\/1\/012061\" target=\"_blank\">Magnetohydrodynamics with Forced Convection in Micropolar Fluid Flows Pass a Magnetic Porous Sphere<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1153, no. 1, p. 012061, Feb. 2019. <\/li>\n\n\n\n<li>B. Widodo, M. Fauziyah and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1153\/1\/012062\" target=\"_blank\">Implementation Euler implicit scheme of unsteady magnetohydrodinamic micropolar fluid pass a sphere affected by mixed convection<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1153, no. 1, p. 012062, Feb. 2019. <\/li>\n\n\n\n<li>H. Purnawan, T. Asfihani, D. Adzkiya and Subchan, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ISRITI.2018.8864451\" target=\"_blank\">Mathematical Modeling and Simulation of Missile Firing Impact Force on Warship<\/a>,&#8221; In <i>Proceedings of the International Seminar on Research of Information Technology and Intelligent Systems<\/i>, pp. 566-570, Nov. 2018. <\/li>\n\n\n\n<li>Subchan, G. A. Aulia, T. Asfihani and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ISRITI.2018.8864480\" target=\"_blank\">Ship Heading Control Of Warship Using Disturbance Compensating Model Predictive Control Method<\/a>,&#8221; In <i>Proceedings of the International Seminar on Research of Information Technology and Intelligent Systems<\/i>, pp. 571-576, Nov. 2018. <\/li>\n\n\n\n<li>H. Purnawan, T. Asfihani, D. Adzkiya and Subchan, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/doi.org\/10.1088\/1742-6596\/1108\/1\/012035\" target=\"_blank\">Disturbance compensating model predictive control for warship heading control in missile firing mission<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 1108, no. 1, p. 012035, 2018. <\/li>\n\n\n\n<li>A. M. Najar, M. I. Irawan and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICSCEE.2018.8538409\" target=\"_blank\">Extreme Learning Machine Method for Dengue Hemorrhagic Fever Outbreak Risk Level Prediction<\/a>,&#8221; In <i>Proceedings of the International Conference on Smart Computing and Electronic Enterprise<\/i>, pp. 1-5, Jul. 2018. <\/li>\n\n\n\n<li>Y. Norasia, B. Widodo and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/worldresearchlibrary.org\/proceeding.php?pid=1756\" target=\"_blank\">Implementation of Implicit Finite Difference on Unsteady MHD Nano Fluid Flow Pass A Magnetic Sphere Problem<\/a>,&#8221; In <i>Proceedings of Academics World 87th International Conference<\/i>, pp. 26-33, Jul. 2018. <\/li>\n\n\n\n<li>N. Hidayat, A. Tjahyanto, X. Z. Loviano, M. Yunus and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.2139\/ssrn.3268935\" target=\"_blank\">Individual Recognition Using Histogram of Oriented Gradients<\/a>,&#8221; In <i>International Conference on Information Technology, Engineering, Science &amp; its Applications<\/i>, pp. 190-194, 2018. <\/li>\n\n\n\n<li>A. Tjahyanto, N. Hidayat, M. L. Shahab, D. Adzkiya and A. K. Nisa, &#8220;<a rel=\"noopener noreferrer\" href=\"https:\/\/ssrn.com\/abstract=3248108\" target=\"_blank\">Individual Recognition System Through Face Identification Using Hidden Markov Model<\/a>,&#8221; In <i>International Conference on Information Technology, Engineering, Science &amp; its Applications<\/i>, pp. 21-27, 2018. <\/li>\n\n\n\n<li>G. Frehse, A. Abate, D. Adzkiya, L. Bu, M. Giacobbe, M. S. Mufid and E. Zaffanella, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.29007\/p11g\" target=\"_blank\">ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics<\/a>,&#8221; In <i>5th International Workshop on Applied Verification of Continuous and Hybrid Systems<\/i>, vol. 54, pp. 1-13, 2018. <\/li>\n\n\n\n<li>D. K. Arif, D. Adzkiya, Mardlijah, Fatmawati, T. Asfihani, C. Imron and F. Diandra Chrisandy, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/CCOMS.2018.8463258\" target=\"_blank\">Estimation Time Improvement of Heat Conduction Systems Using Balanced Truncation Method<\/a>,&#8221; In <i>Proceedings of the International Conference on Computer and Communication Systems<\/i>, pp. 6-9, Apr. 2018. <\/li>\n\n\n\n<li>M. S. Mufid, D. Adzkiya and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-030-00151-3_16\" target=\"_blank\">Tropical Abstractions of Max-Plus Linear Systems<\/a>,&#8221; In <i>Proceedings of the International Conference on Formal Modeling and Analysis of Timed Systems<\/i>, pp. 271-287, Sep. 2018. <\/li>\n\n\n\n<li>T. D. Timur, D. Adzkiya and Soleha, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1088\/1742-6596\/974\/1\/012064\" target=\"_blank\">Simulations of linear and Hamming codes using SageMath<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 974, no. 1, p. 012064, 2018. <\/li>\n\n\n\n<li>V. Rachmawati, D. K. Arif and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1088\/1742-6596\/974\/1\/012018\" target=\"_blank\">Implementation of Kalman filter algorithm on models reduced using singular pertubation approximation method and its application to measurement of water level<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 974, no. 1, p. 012018, 2018. <\/li>\n\n\n\n<li>D. Adzkiya and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICAMIMIA.2017.8387611\" target=\"_blank\">An efficient transformation from max-plus-linear systems to piecewise affine systems<\/a>,&#8221; In <i>Proceedings of the International Conference on Advanced Mechatronics, Intelligent Manufacture, and Industrial Automation<\/i>, pp. 327-330, Oct. 2017. <\/li>\n\n\n\n<li>D. K. Arif, M. A. Firmansyah, D. Adzkiya, I. Winggari, I. Octaviano, R. W. Ismail, M. A. N. Anam and F. Anshori, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICAMIMIA.2017.8387596\" target=\"_blank\">PID controller design for SSV BRP TARLAC (LD-601) ship heading using Ziegler Nichols tuning method<\/a>,&#8221; In <i>Proceedings of the International Conference on Advanced Mechatronics, Intelligent Manufacture, and Industrial Automation<\/i>, pp. 248-253, Oct. 2017. <\/li>\n\n\n\n<li>N. A. Rahma, B. Widodo and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1063\/1.5016641\" target=\"_blank\">Forced convection of unsteady magnetohydrodynamics fluid past a porous sphere<\/a>,&#8221; <i>AIP Conference Proceedings<\/i>, vol. 1913, no. 1, p. 020007, 2017. <\/li>\n\n\n\n<li>R. V. Pratomo, B. Widodo and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1063\/1.5016642\" target=\"_blank\">Unsteady magnetohydrodynamics micropolar fluid in boundary layer flow past a sphere influenced by magnetic fluid<\/a>,&#8221; <i>AIP Conference Proceedings<\/i>, vol. 1913, no. 1, p. 020008, 2017. <\/li>\n\n\n\n<li>T. Asfihani, Subchan, D. Adzkiya, D. M. Rosyid, H. Purnawan and R. Kamilah, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICA.2017.8068441\" target=\"_blank\">Estimation of the corvette SIGMA motion in missile firing mission<\/a>,&#8221; In <i>Proceedings of the International Conference on Instrumentation, Control, and Automation<\/i>, pp. 203-207, Aug. 2017. <\/li>\n\n\n\n<li>D. K. Arif, D. Adzkiya, P. Aditya, F. Winata, D. Agustin, M. R. Habibi, A. Ririsati and R. Prasyanto, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICA.2017.8068412\" target=\"_blank\">Modeling of three-dimensional radar tracking system and its estimation using Extended Kalman Filter<\/a>,&#8221; In <i>Proceedings of the International Conference on Instrumentation, Control, and Automation<\/i>, pp. 51-55, Aug. 2017. <\/li>\n\n\n\n<li>D. K. Arif, H. \u039d. Fadhilah, D. Adzkiya, L. \u039d. Rochmah, N. A. W. Yoga, H. Setiawan, R. Kamilah and R. R. N. Cahyani, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ICA.2017.8068404\" target=\"_blank\">Accelerating simulation time of unstable discrete-time systems using Singular Perturbation Approximation<\/a>,&#8221; In <i>Proceedings of the International Conference on Instrumentation, Control, and Automation<\/i>, pp. 7-12, Aug. 2017. <\/li>\n\n\n\n<li>I. M. Iqbal, D. Adzkiya and I. Mukhlash, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1063\/1.4994448\" target=\"_blank\">Formal verification of automated teller machine systems using SPIN<\/a>,&#8221; <i>AIP Conference Proceedings<\/i>, vol. 1867, no. 1, p. 020045, 2017. <\/li>\n\n\n\n<li>Y. I. Sari, D. K. Arif, E. Apriliani and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1063\/1.4994452\" target=\"_blank\">A study on model order reduction of stable discrete-time linear-time-invariant systems using balanced truncation methods<\/a>,&#8221; <i>AIP Conference Proceedings<\/i>, vol. 1867, no. 1, p. 020049, 2017. <\/li>\n\n\n\n<li>D. A. Kartika, D. K. Arif, E. Apriliani and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1063\/1.4994453\" target=\"_blank\">A study on model order reduction of stable continuous-time linear-time-invariant systems using balanced truncation methods<\/a>,&#8221; <i>AIP Conference Proceedings<\/i>, vol. 1867, no. 1, p. 020050, 2017. <\/li>\n\n\n\n<li>N. F. Adhalia H., Subiono and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1063\/1.4994469\" target=\"_blank\">Modeling of water treatment plant using timed continuous Petri nets<\/a>,&#8221; <i>AIP Conference Proceedings<\/i>, vol. 1867, no. 1, p. 020066, 2017. <\/li>\n\n\n\n<li>G. Frehse, A. Abate, D. Adzkiya, L. Bu and M. Giacobbe, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.29007\/n3km\" target=\"_blank\">ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics<\/a>,&#8221; In <i>4th International Workshop on Applied Verification of Continuous and Hybrid Systems<\/i>, vol. 48, pp. 124-133, 2017. <\/li>\n\n\n\n<li>K. Mustaqim, D. K. Arif, E. Apriliani and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1088\/1742-6596\/855\/1\/012029\" target=\"_blank\">Model reduction of unstable systems using balanced truncation method and its application to shallow water equations<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 855, no. 1, p. 012029, 2017. <\/li>\n\n\n\n<li>T. P. Lesnussa, D. K. Arif, D. Adzkiya and E. Apriliani, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1088\/1742-6596\/855\/1\/012023\" target=\"_blank\">Identification and estimation of state variables on reduced model using balanced truncation method<\/a>,&#8221; <i>Journal of Physics: Conference Series<\/i>, vol. 855, no. 1, p. 012023, 2017. <\/li>\n\n\n\n<li>V. Rostampour, D. Adzkiya, S. Esmaeil Zadeh Soudjani, B. De Schutter and T. Keviczky, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/SMC.2016.7844789\" target=\"_blank\">Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems<\/a>,&#8221; In <i>Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics<\/i>, pp. 3581-3588, Oct. 2016. <\/li>\n\n\n\n<li>E. Dosciatti, M. Teixeira, R. Ribeiro, M. Barbosa, F. Favarim, F. Enembreck and D. Adzkiya, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.5220\/0005831700530062\" target=\"_blank\">Resources Planning in Database Infrastructures<\/a>,&#8221; In <i>Proceedings of the International Conference on Enterprise Information Systems<\/i>, pp. 53-62, Apr. 2016. <\/li>\n\n\n\n<li>I. Fauzi and D. Adzkiya, &#8220;Application Of Model Predictive Control (Mpc) For Flow Line Production System Using Max-Plus Algebra,&#8221; In <i>Proceeding of Annual Basic Science International Conference Vol. 6<\/i>, pp. 309-312, Mar. 2016. <\/li>\n\n\n\n<li>S. Rahmawati, D. Adzkiya and E. Rokhmati, &#8220;Modelling of Queue in a Bank using Coloured Petri Nets,&#8221; In <i>Proceeding of Annual Basic Science International Conference Vol. 6<\/i>, pp. 369-372, Mar. 2016. <\/li>\n\n\n\n<li>R. Khaira, Subiono and D. Adzkiya, &#8220;Computation of Shortest Path on the Distribution Route by Using Min-Plus Algebra,&#8221; In <i>Proceeding of Annual Basic Science International Conference Vol. 6<\/i>, pp. 446-449, Mar. 2016. <\/li>\n\n\n\n<li>R. I. Pertiwi, D. Adzkiya and Subiono, &#8220;Modelling of Inventory Systems Using Petri Nets with Counters,&#8221; In <i>Proceeding of Annual Basic Science International Conference Vol. 6<\/i>, pp. 454-456, Mar. 2016. <\/li>\n\n\n\n<li>D. Murdianto and D. Adzkiya, &#8220;Modeling Water Treatment Plant Using Continuous Petri Nets,&#8221; In <i>Proceeding of Annual Basic Science International Conference Vol. 6<\/i>, pp. 540-543, Mar. 2016. <\/li>\n\n\n\n<li>A. S. Kolarijani, D. Adzkiya and M. Mazo Jr., &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/CDC.2015.7403187\" target=\"_blank\">Symbolic abstractions for the scheduling of event-triggered control systems<\/a>,&#8221; In <i>Proceedings of the Conference on Decision and Control<\/i>, pp. 6153-6158, Dec. 2015. <\/li>\n\n\n\n<li>D. Adzkiya, S. Esmaeil Zadeh Soudjani and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-319-10696-0_7\" target=\"_blank\">Finite abstractions of stochastic max-plus-linear systems<\/a>,&#8221; In <i>Proceedings of the International Conference on Quantitative Evaluation of Systems<\/i>, pp. 74-89, Sep. 2014. <\/li>\n\n\n\n<li>D. Adzkiya, B. De Schutter and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.3182\/20140514-3-FR-4046.00056\" target=\"_blank\">Backward reachability of autonomous max-plus-linear systems<\/a>,&#8221; In <i>Proceedings of the International Workshop on Discrete Event Systems<\/i>, pp. 117-122, May 2014. Best student paper award finalist. <\/li>\n\n\n\n<li>D. Adzkiya, B. De Schutter and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-54862-8_17\" target=\"_blank\">Forward reachability computation for autonomous max-plus-linear systems<\/a>,&#8221; In <i>Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems<\/i>, pp. 248-262, Apr. 2014. <\/li>\n\n\n\n<li>D. Adzkiya and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-40196-1_22\" target=\"_blank\">VeriSiMPL: verification via bisimulations of mpl models<\/a>,&#8221; In <i>Proceedings of the International Conference on Quantitative Evaluation of Systems<\/i>, pp. 274-277, Aug. 2013. <\/li>\n\n\n\n<li>D. Adzkiya, B. De Schutter and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ACC.2013.6580515\" target=\"_blank\">Finite abstractions of nonautonomous max-plus-linear systems<\/a>,&#8221; In <i>Proceedings of the American Control Conference<\/i>, pp. 4387-4392, Jun. 2013. <\/li>\n\n\n\n<li>D. Adzkiya, B. De Schutter and A. Abate, &#8220;<a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.1109\/ACC.2012.6314945\" target=\"_blank\">Abstraction and verification of autonomous max-plus-linear systems<\/a>,&#8221; In <i>Proceedings of the American Control Conference<\/i>, pp. 721-726, Jun. 2012. <\/li>\n\n\n\n<li>D. Adzkiya, E. Apriliani and D. K. Arif, &#8220;The Application of Ensemble Kalman Filter to Estimate Heat Conduction Distribution,&#8221; In <i>Proceedings of the International Conference on Natural and Material Sciences<\/i>, 2009. <\/li>\n\n\n\n<li>D. Adzkiya and Subiono, &#8220;Modeling Traffic Lights in Intersection using Petri nets,&#8221; In <i>Proceedings of the International Conference on Mathematics and Statistics<\/i>, Aug. 2008. <\/li>\n\n\n\n<li>D. Adzkiya and Subiono, &#8220;On the Constructing Group to Color the n-Cube,&#8221; In <i>Proceedings of the Second Joint Conference Indonesia Malaysia<\/i>, pp. 39-46, 2007. <\/li>\n<\/ol>\n\n\n\n<h2 class=\"wp-block-heading\">Theses<\/h2>\n\n\n\n<ol class=\"wp-block-list\">\n<li>D. Adzkiya. <i><a rel=\"noopener noreferrer\" href=\"http:\/\/dx.doi.org\/10.4233\/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b\" target=\"_blank\">Finite abstractions of max-plus-linear systems: theory and algorithms<\/a><\/i>. PhD thesis, Delft University of Technology, Oct. 2014. <\/li>\n\n\n\n<li>D. Adzkiya. Membangun model Petri net lampu lalu lintas dan simulasinya. Master&#8217;s thesis, Institut Teknologi Sepuluh Nopember, Jul. 2008. <\/li>\n\n\n\n<li>D. Adzkiya. Perbandingan algoritma Golub Kahan dan QR simetri untuk dekomposisi nilai singular. Bachelor&#8217;s thesis, Institut Teknologi Sepuluh Nopember, 2005.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>Journal Articles Conference Proceedings Theses<\/p>\n","protected":false},"author":208,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-120","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/notes.its.ac.id\/dieky\/wp-json\/wp\/v2\/pages\/120","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/notes.its.ac.id\/dieky\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/notes.its.ac.id\/dieky\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/notes.its.ac.id\/dieky\/wp-json\/wp\/v2\/users\/208"}],"replies":[{"embeddable":true,"href":"https:\/\/notes.its.ac.id\/dieky\/wp-json\/wp\/v2\/comments?post=120"}],"version-history":[{"count":39,"href":"https:\/\/notes.its.ac.id\/dieky\/wp-json\/wp\/v2\/pages\/120\/revisions"}],"predecessor-version":[{"id":465,"href":"https:\/\/notes.its.ac.id\/dieky\/wp-json\/wp\/v2\/pages\/120\/revisions\/465"}],"wp:attachment":[{"href":"https:\/\/notes.its.ac.id\/dieky\/wp-json\/wp\/v2\/media?parent=120"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}