Dieky Adzkiya
Dieky Adzkiya
Lecturer in the Department of Mathematics, Institut Teknologi Sepuluh Nopember
Verified email at matematika.its.ac.id - Homepage
Title
Cited by
Cited by
Year
Finite abstractions of max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
IEEE Transactions on Automatic Control 58 (12), 3039-3053, 2013
272013
Computational techniques for reachability analysis of max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
Automatica 53, 293-302, 2015
242015
Membangun model petri net lampu lalu lintas dan simulasinya
D Adzkiya
Institut Teknologi Sepuluh Nopember, 2008
142008
VeriSiMPL: Verification via biSimulations of MPL Models
D Adzkiya, A Abate
International Conference on Quantitative Evaluation of Systems, 274-277, 2013
122013
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
112011
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
92017
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
82016
Backward reachability of autonomous max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
International Workshop on Discrete Event Systems, 117-122, 2014
82014
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
72017
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
72014
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
62015
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
52017
Finite abstractions of stochastic max-plus-linear systems
D Adzkiya, SEZ Soudjani, A Abate
Quantitative Evaluation of Systems, 74-89, 2014
52014
Abstraction and verification of autonomous max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
American Control Conference, 721-726, 2012
52012
Modelling traffic light using Petri net and its simulation
D Adzkiya
Institut Teknologi Sepuluh Nopember. Thesis, Surabaya, 2008
52008
A study on model order reduction of stable discrete-time linear-time-invariant systems using balanced truncation methods
YI Sari, DK Arif, E Apriliani, D Adzkiya
AIP Conference Proceedings 1867 (1), 020049, 2017
42017
Formal verification of stochastic max-plus-linear systems
SEZ Soudjani, D Adzkiya, A Abate
IEEE Transactions on Automatic Control 61 (10), 2861-2876, 2015
42015
Finite abstractions of nonautonomous max-plus-linear systems
D Adzkiya, B De Schutter, A Abate
American Control Conference, 4387-4392, 2013
42013
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
32018
Business process improvement of production systems using coloured petri nets
I Mukhlash, WN Rumana, D Adzkiya, R Sarno
Bulletin of Electrical Engineering and Informatics 7 (1), 102-112, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20