Dieky Adzkiya

Citada per

	Totes	Des de 2020
Citacions	825	582
Índex h	16	13
Índex i10	32	22

160

120

201320142015201620172018201920202021202220232024202515 7 17 23 47 50 65 92 90 124 145 116 14

Accés públic

Mostra-ho tot

11 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
TEGUH HERLAMBANGUniversitas Nahdlatul Ulama SurabayaCorreu electrònic verificat a unusa.ac.id
Hendro NurhadiDepartment of Industrial Mechanical Engineering, Institut Teknologi Sepuluh NopemberCorreu electrònic verificat a me.its.ac.id
Didik Khusnul ArifInstitut Teknologi Sepuluh NopemberCorreu electrònic verificat a matematika.its.ac.id
Erna AprilianiLecturer of Mathematics Department , Institut Teknologi Sepuluh NopemberCorreu electrònic verificat a matematika.its.ac.id
TAHIYATUL ASFIHANIDepartment of Mathematics, Institut Teknologi Sepuluh NopemberCorreu electrònic verificat a matematika.its.ac.id
Muhammad Syifa'ul MufidInstitut Teknologi Sepuluh Nopember SurabayaCorreu electrònic verificat a matematika.its.ac.id
Basuki WidodoDepartment of Mathematics, Institut Teknologi Sepuluh NopemberCorreu electrònic verificat a matematika.its.ac.id
Bart De Schutterfull professor & head of department, Delft Center for Systems and ControlCorreu electrònic verificat a tudelft.nl
Imam MukhlashDepartment of Mathematics Institut Teknologi Sepuluh Nopember SurabayaCorreu electrònic verificat a matematika.its.ac.id
Dinita RahmaliaUniversitas Islam Darul Ulum LamonganCorreu electrònic verificat a unisda.ac.id
Subchan SubchanDepartment of Mathematics, Institut Teknologi Sepuluh NopemberCorreu electrònic verificat a matematika.its.ac.id
Mohammad Isa IrawanDept.of Mathematics, Institut Teknologi Sepuluh Nopember (ITS)Correu electrònic verificat a its.ac.id
Helisyah Nur FadhilahTelkom UniversityCorreu electrònic verificat a telkomuniversity.ac.id
Guisheng ZhaiProfessor of Mathematical Sciences, Shibaura Institute of TechnologyCorreu electrònic verificat a shibaura-it.ac.jp
Manuel Mazo Jr.Associate Professor at TU DelftCorreu electrònic verificat a tudelft.nl
Sadegh SoudjaniMax Planck Institute for Software SystemsCorreu electrònic verificat a mpi-sws.org
Heri PurnawanSystem Modelling and Control, Universitas Islam LamonganCorreu electrònic verificat a unisla.ac.id
Lutfi MardiantoInstitut Teknologi SumateraCorreu electrònic verificat a ma.itera.ac.id
Lei BuNanjing UniversityCorreu electrònic verificat a nju.edu.cn

Segueix

Dieky Adzkiya

Department of Mathematics, Institut Teknologi Sepuluh Nopember

Correu electrònic verificat a matematika.its.ac.id - Pàgina d'inici

Max-Plus Algebra Formal Verification


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
Computational techniques for reachability analysis of max-plus-linear systems D Adzkiya, B De Schutter, A Abate Automatica 53, 293-302, 2015	50	2015
Finite abstractions of max-plus-linear systems D Adzkiya, B De Schutter, A Abate IEEE Transactions on Automatic Control 58 (12), 3039-3053, 2013	35	2013
Model reduction of unstable systems using balanced truncation method and its application to shallow water equations K Mustaqim, DK Arif, E Apriliani, D Adzkiya Journal of Physics: Conference Series 855 (1), 012029, 2017	27	2017
Position estimation of Touristant ASV using ensemble Kalman filter H Nurhadi, T Herlambang, D Adzkiya AIP Conference Proceedings 2187 (1), 2019	26	2019
Membangun model petri net lampu lalu lintas dan simulasinya D Adzkiya Institut Teknologi Sepuluh Nopember, 2008	26	2008
Estimation of Closed Hotels and Restaurants in Jakarta as Impact of Corona Virus Disease (Covid-19) Spread Using Backpropagation Neural Network FA Susanto, MY Anshori, D Rahmalia, K Oktafianto, D Adzkiya, P Katias, ... Nonlinear Dynamics and Systems Theory: An International Journal of Research …, 2022	21	2022
Backward reachability of autonomous max-plus-linear systems D Adzkiya, B De Schutter, A Abate International Workshop on Discrete Event Systems, 117-122, 2014	21	2014
The Analysis of Demand and Supply of Blood in Hospital in Surabaya City Using Panel Data Regression A Muhith, IH Susanto, D Rahmalia, D Adzkiya, T Herlambang Nonlinear Dynamics and System Theory 22 (5), 550-560, 2022	20	2022
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems D Adzkiya, Y Zhang, A Abate Discrete Event Dynamic Systems 26 (1), 109-145, 2016	20	2016
Formal verification of stochastic max-plus-linear systems SEZ Soudjani, D Adzkiya, A Abate IEEE Transactions on Automatic Control 61 (10), 2861-2876, 2015	20	2015
Snakes and ghosts in a parity-time-symmetric chain of dimers H Susanto, R Kusdiantara, N Li, OB Kirikchi, D Adzkiya, ERM Putri, ... Physical Review E 97 (6), 062204, 2018	19	2018
Trajectory estimation of autonomous surface vehicle using square root ensemble Kalman filter H Nurhadi, T Herlambang, D Adzkiya 2019 International Conference on Advanced Mechatronics, Intelligent …, 2019	18	2019
The Groundwater Pollution Estimation by The Ensemble Kalman Filter E Apriliani, BA Sanjoyo, D Adzkiya Canadian Journal on Science and Engineering Mathematics 2 (2), 60-63, 2011	18	2011
Optimization of linear quadratic regulator with tracking applied to autonomous underwater vehicle (AUV) using cuckoo search T Herlambang, D Rahmalia, H Nurhadi, D Adzkiya Nonlinear Dynamics and Systems Theory: An International Journal of Research …, 2020	16	2020
Sliding mode control design for autonomous surface vehicle motion under the influence of environmental factor H Nurhadi, E Apriliani, T Herlambang, D Adzkiya International Journal of Electrical and Computer Engineering (IJECE) 10 (5 …, 2020	16	2020
Model reduction of non-minimal discrete-time linear-time-invariant systems DK Arif, D Adzkiya, E Apriliani, IN Khasanah Malaysian Journal of Mathematical Sciences 11 (3), 377-391, 2017	16	2017
VeriSiMPL: Verification via biSimulations of MPL models D Adzkiya, A Abate International Conference on Quantitative Evaluation of Systems, 274-277, 2013	16	2013
Motion control design of unusaits auv using sliding pid T Herlambang, H Nurhadi, D Adzkiya Nonlinear Dynamics and Systems Theory: An International Journal of Research …, 2020	15	2020
ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ... EasyChair, 2019	15	2019
Symbolic abstractions for the scheduling of event-triggered control systems AS Kolarijani, D Adzkiya, M Mazo 2015 54th IEEE Conference on Decision and Control (CDC), 6153-6158, 2015	14	2015

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors