Abstraction and verification of autonomous Max-Plus-Linear systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (ACC, 2012)

Finite abstractions of nonautonomous Max-Plus-Linear systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (ACC, 2013)

VeriSiMPL: Verification via biSimulations of MPL Models. - Dieky Adzkiya; Alessandro Abate (QEST, 2013)

Finite Abstractions of Max-Plus-Linear Systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (IEEE Trans. Autom. Control., 2013)

Finite Abstractions of Stochastic Max-Plus-Linear Systems. - Dieky Adzkiya; Sadegh Esmaeil Zadeh Soudjani; Alessandro Abate (QEST, 2014)

Forward Reachability Computation for Autonomous Max-Plus-Linear Systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (TACAS, 2014)

Backward Reachability of Autonomous Max-Plus-Linear Systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (WODES, 2014)

Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms. - Dieky Adzkiya (2014)

Symbolic abstractions for the scheduling of event-triggered control systems. - Arman Sharifi Kolarijani; Dieky Adzkiya; Manuel Mazo Jr. 002 (CDC, 2015)

Computational techniques for reachability analysis of Max-Plus-Linear systems. - Dieky Adzkiya; Bart De Schutter; Alessandro Abate (Autom., 2015)

Resources Planning in Database Infrastructures. - Eden R. Dosciatti; Marcelo Teixeira; Richardson Ribeiro; Marco A. C. Barbosa; Fábio Favarim; Fabrício Enembreck; Dieky Adzkiya (ICEIS (1), 2016)

Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems. - Vahab Rostampour; Dieky Adzkiya; Sadegh Esmaeil Zadeh Soudjani; Bart De Schutter; Tamás Keviczky (SMC, 2016)

Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata. - Dieky Adzkiya; Manuel Mazo Jr. 002 (CoRR, 2016)

VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems. - Dieky Adzkiya; Yining Zhang; Alessandro Abate (Discret. Event Dyn. Syst., 2016)

Eigenproblems of latin squares in bipartite (min, max, +)-systems. - Subiono; Muhammad Syifa'ul Mufid; Dieky Adzkiya (Discret. Event Dyn. Syst., 2016)

Formal Verification of Stochastic Max-Plus-Linear Systems. - Sadegh Esmaeil Zadeh Soudjani; Dieky Adzkiya; Alessandro Abate (IEEE Trans. Autom. Control., 2016)

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe (ARCH@CPSWeek, 2017)

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe; Muhammad Syifa'ul Mufid; Enea Zaffanella (ARCH@ADHS, 2018)

Tropical Abstractions of Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (FORMATS, 2018)

Preface: 3rd INNS Conference on Big Data and Deep Learning 2018. - Dieky Adzkiya (INNS Conference on Big Data, 2018)

Generalized public transportation scheduling using max-plus algebra. - Kistosil Fahim; Dieky Adzkiya (Kybernetika, 2018)

Estimation of Hydrodynamic Coefficients using Unscented Kalman Filter and Recursive Least Square. - Subchan Subchan; Rachmat Wahyudi Ismail; Tahiyatul Asfihani; Dieky Adzkiya (IWCIA, 2019)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - 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; et al. (ARCH@CPSIoTWeek, 2019)

Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (FORMATS, 2019)

Centralized and decentralized Hs∞ controller design for storey building systems using matrix inequality approach. - Helisyah Nur Fadhilah; Didik Khusnul Arif; Fatmawati; Dieky Adzkiya; Guisheng Zhai (ICEEI, 2019)

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. - Lei Bu; Alessandro Abate; Dieky Adzkiya; Muhammad Syifa'ul Mufid; Rajarshi Ray 001; Yuming Wu; Enea Zaffanella (ARCH, 2020)

Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (CoRR, 2020)

A cryptographic algorithm using wavelet transforms over max-plus algebra. - Subiono; Joko Cahyono; Dieky Adzkiya; Bijan Davvaz (J. King Saud Univ. Comput. Inf. Sci., 2022)

SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (IEEE Trans. Autom. Control., 2022)

Decentralized static output feedback controller design for linear interconnected systems. - Helisyah Nur Fadhilah; Dieky Adzkiya; Didik Khusnul Arif; Guisheng Zhai (Int. J. Appl. Math. Comput. Sci., 2023)