Dieky Adzkiya
Dieky Adzkiya
Department of Mathematics, Institut Teknologi Sepuluh Nopember
Email yang diverifikasi di matematika.its.ac.id - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
Computational techniques for reachability analysis of max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
Automatica 53, 293-302, 2015
392015
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
182017
Membangun model petri net lampu lalu lintas dan simulasinya
D Adzkiya
Institut Teknologi Sepuluh Nopember, 2008
172008
Backward reachability of autonomous max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
International Workshop on Discrete Event Systems, 117-122, 2014
162014
VeriSiMPL: Verification via biSimulations of MPL Models
D Adzkiya, A Abate
International Conference on Quantitative Evaluation of Systems, 274-277, 2013
152013
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
152011
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
132016
Formal verification of stochastic max-plus-linear systems
SEZ Soudjani, D Adzkiya, A Abate
IEEE Transactions on Automatic Control 61 (10), 2861-2876, 2015
112015
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
112014
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
102017
Identification and estimation of state variables on reduced model using balanced truncation method
TP Lesnussa, DK Arif, D Adzkiya, E Apriliani
Journal of Physics: Conference Series 855 (1), 012023, 2017
92017
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
92015
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
82019
Position estimation of Touristant ASV using ensemble Kalman filter
H Nurhadi, T Herlambang, D Adzkiya
AIP Conference Proceedings 2187 (1), 060006, 2019
72019
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
G Frehse, A Abate, D Adzkiya, L Bu, M Giacobbe, MSU Mufid, E Zaffanella
ARCH@ CPSIoTWeek, 1-13, 2019
72019
Disturbance compensating model predictive control for warship heading control in missile firing mission
H Purnawan, T Asfihani, D Adzkiya
Journal of Physics: Conference Series 1108 (1), 012035, 2018
72018
A study on model order reduction of stable continuous-time linear-time-invariant systems using balanced truncation methods
DA Kartika, DK Arif, E Apriliani, D Adzkiya
AIP Conference Proceedings 1867 (1), 020050, 2017
72017
Opinion mining on book review using convolutional neural network algorithm-Long short term memory
I Mukhlash, AZ Arham, F Rozi, M Kimura, D Adzkiya
International Journal of Machine Learning and Computing 8 (5), 437-441, 2018
62018
Extreme learning machine method for dengue hemorrhagic fever outbreak risk level prediction
AM Najar, MI Irawan, D Adzkiya
2018 International Conference on Smart Computing and Electronic Enterprise …, 2018
62018
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20