Seguir
Dieky Adzkiya
Dieky Adzkiya
Department of Mathematics, Institut Teknologi Sepuluh Nopember
Dirección de correo verificada de matematika.its.ac.id - Página principal
Título
Citado por
Citado por
Año
Computational techniques for reachability analysis of max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
Automatica 53, 293-302, 2015
482015
Finite abstractions of max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
IEEE Transactions on Automatic Control 58 (12), 3039-3053, 2013
352013
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
242017
Position estimation of Touristant ASV using ensemble Kalman filter
H Nurhadi, T Herlambang, D Adzkiya
AIP Conference Proceedings 2187 (1), 2019
232019
Membangun model petri net lampu lalu lintas dan simulasinya
D Adzkiya
Institut Teknologi Sepuluh Nopember, 2008
222008
Backward reachability of autonomous max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
International Workshop on Discrete Event Systems, 117-122, 2014
202014
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
192016
Formal verification of stochastic max-plus-linear systems
SEZ Soudjani, D Adzkiya, A Abate
IEEE Transactions on Automatic Control 61 (10), 2861-2876, 2015
182015
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
172011
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
162018
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
152017
VeriSiMPL: Verification via biSimulations of MPL models
D Adzkiya, A Abate
International Conference on Quantitative Evaluation of Systems, 274-277, 2013
152013
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
142019
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
142015
Forward reachability computation for autonomous max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
Tools and Algorithms for the Construction and Analysis of Systems, 248-262, 2014
142014
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
122022
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
122020
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
122019
Development of trigonometric visualization concepts to increase the study motivations of SMK students
MI Irawan, I Mukhlash, D Adzkiya
Journal of Physics: Conference Series 1218 (1), 012049, 2019
122019
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
112022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20