Folgen
Dieky Adzkiya
Dieky Adzkiya
Department of Mathematics, Institut Teknologi Sepuluh Nopember
Bestätigte E-Mail-Adresse bei matematika.its.ac.id - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
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
172018
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
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
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
142022
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
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
132020
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
122022
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20