Dieky Adzkiya

According to our database, Dieky Adzkiya authored at least 28 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

2020

Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems.

Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate

CoRR, 2020

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, Yuming Wu, Enea Zaffanella

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.

Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate

Proceedings of the Formal Modeling and Analysis of Timed Systems, 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, Enea Zaffanella

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Estimation of Hydrodynamic Coefficients using Unscented Kalman Filter and Recursive Least Square.

Subchan Subchan, Rachmat Wahyudi Ismail, Tahiyatul Asfihani, Dieky Adzkiya

Proceedings of the 11th IEEE International Workshop on Computational Intelligence and Applications, 2019

2018

Generalized public transportation scheduling using max-plus algebra.

Kistosil Fahim, Dieky Adzkiya

Kybernetika, 2018

Preface: 3^rd INNS Conference on Big Data and Deep Learning 2018.

Dieky Adzkiya

Proceedings of the INNS Conference on Big Data and Deep Learning 2018, 2018

Tropical Abstractions of Max-Plus Linear Systems.

Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

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

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

Formal Verification of Stochastic Max-Plus-Linear Systems.

Sadegh Esmaeil Zadeh Soudjani, Dieky Adzkiya, Alessandro Abate

IEEE Trans. Autom. Control., 2016

Eigenproblems of latin squares in bipartite (min, max, +)-systems.

Subiono, Muhammad Syifa'ul Mufid, Dieky Adzkiya

Discret. Event Dyn. Syst., 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

Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata.

Dieky Adzkiya, Manuel Mazo Jr.

CoRR, 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

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Resources Planning in Database Infrastructures.

Eden R. Dosciatti, Marcelo Teixeira, Richardson Ribeiro, Marco A. C. Barbosa, Fábio Favarim, Fabrício Enembreck, Dieky Adzkiya

Proceedings of the ICEIS 2016, 2016

2015

Computational techniques for reachability analysis of Max-Plus-Linear systems.

Dieky Adzkiya, Bart De Schutter, Alessandro Abate

Autom., 2015

Symbolic abstractions for the scheduling of event-triggered control systems.

Arman Sharifi Kolarijani, Dieky Adzkiya, Manuel Mazo Jr.

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms.

Dieky Adzkiya

PhD thesis, 2014

Backward Reachability of Autonomous Max-Plus-Linear Systems.

Dieky Adzkiya, Bart De Schutter, Alessandro Abate

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Forward Reachability Computation for Autonomous Max-Plus-Linear Systems.

Dieky Adzkiya, Bart De Schutter, Alessandro Abate

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Finite Abstractions of Stochastic Max-Plus-Linear Systems.

Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

Finite Abstractions of Max-Plus-Linear Systems.

Dieky Adzkiya, Bart De Schutter, Alessandro Abate

IEEE Trans. Autom. Control., 2013

VeriSiMPL: Verification via biSimulations of MPL Models.

Dieky Adzkiya, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Finite abstractions of nonautonomous Max-Plus-Linear systems.

Dieky Adzkiya, Bart De Schutter, Alessandro Abate

Proceedings of the American Control Conference, 2013

2012

Abstraction and verification of autonomous Max-Plus-Linear systems.

Dieky Adzkiya, Bart De Schutter, Alessandro Abate

Proceedings of the American Control Conference, 2012