Dieky Adzkiya

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 22

Top Venues

CoRR

Discret. Event Dyn. Syst.

FORMATS

IEEE Trans. Autom. Control.

Delft University of Technology, Netherlands (PHD)

Education History

Delft University of Technology, Netherlands

PHD

Publications

Helisyah Nur Fadhilah, Dieky Adzkiya, Didik Khusnul Arif, Guisheng Zhai
Decentralized static output feedback controller design for linear interconnected systems. Int. J. Appl. Math. Comput. Sci. 33 (1) (2023)
Subiono, Joko Cahyono, Dieky Adzkiya, Bijan Davvaz
A cryptographic algorithm using wavelet transforms over max-plus algebra. J. King Saud Univ. Comput. Inf. Sci. 34 (3) (2022)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems. IEEE Trans. Autom. Control. 67 (6) (2022)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems. CoRR (2020)
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH (2020)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. FORMATS (2019)
Helisyah Nur Fadhilah, Didik Khusnul Arif, Fatmawati, Dieky Adzkiya, Guisheng Zhai
controller design for storey building systems using matrix inequality approach. ICEEI (2019)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. CoRR (2019)
Subchan Subchan, Rachmat Wahyudi Ismail, Tahiyatul Asfihani, Dieky Adzkiya
Estimation of Hydrodynamic Coefficients using Unscented Kalman Filter and Recursive Least Square. IWCIA (2019)
Kistosil Fahim, Dieky Adzkiya
Generalized public transportation scheduling using max-plus algebra. Kybernetika 54 (2) (2018)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS (2018)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Tropical Abstractions of Max-Plus Linear Systems. FORMATS (2018)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Tropical Abstractions of Max-Plus-Linear Systems. CoRR (2018)
Dieky Adzkiya
INNS Conference on Big Data and Deep Learning 2018. INNS Conference on Big Data (2018)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek (2017)
Eden R. Dosciatti, Marcelo Teixeira, Richardson Ribeiro, Marco A. C. Barbosa, Fábio Favarim, Fabrício Enembreck, Dieky Adzkiya
Resources Planning in Database Infrastructures. ICEIS (1) (2016)
Subiono, Muhammad Syifa'ul Mufid, Dieky Adzkiya
Eigenproblems of latin squares in bipartite (min, max, +)-systems. Discret. Event Dyn. Syst. 26 (4) (2016)
Dieky Adzkiya, Yining Zhang, Alessandro Abate
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems. Discret. Event Dyn. Syst. 26 (1) (2016)
Vahab Rostampour, Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Bart De Schutter, Tamás Keviczky
Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems. SMC (2016)
Dieky Adzkiya, Manuel Mazo Jr.
Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata. CoRR (2016)
Sadegh Esmaeil Zadeh Soudjani, Dieky Adzkiya, Alessandro Abate
Formal Verification of Stochastic Max-Plus-Linear Systems. IEEE Trans. Autom. Control. 61 (10) (2016)
Arman Sharifi Kolarijani, Dieky Adzkiya, Manuel Mazo Jr.
Symbolic abstractions for the scheduling of event-triggered control systems. CDC (2015)
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
Computational techniques for reachability analysis of Max-Plus-Linear systems. Autom. 53 (2015)
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
Forward Reachability Computation for Autonomous Max-Plus-Linear Systems. TACAS (2014)
Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
Finite Abstractions of Stochastic Max-Plus-Linear Systems. QEST (2014)
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
Backward Reachability of Autonomous Max-Plus-Linear Systems. WODES (2014)
Dieky Adzkiya, Alessandro Abate
VeriSiMPL: Verification via biSimulations of MPL Models. QEST (2013)
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
Finite Abstractions of Max-Plus-Linear Systems. IEEE Trans. Autom. Control. 58 (12) (2013)
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
Finite abstractions of nonautonomous Max-Plus-Linear systems. ACC (2013)
Dieky Adzkiya, Bart De Schutter, Alessandro Abate
Abstraction and verification of autonomous Max-Plus-Linear systems. ACC (2012)

Dieky Adzkiya.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dieky Adzkiya