Dieky Adzkiya

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