Dieky Adzkiya

Cited by

	All	Since 2016
Citations	281	232
h-index	9	8
i10-index	8	6

201120122013201420152016201720182019202020212 1 14 15 15 23 48 47 41 71 2

Co-authors

Alessandro AbateProfessor of Verification and Control, University of OxfordVerified email at cs.ox.ac.uk
Bart De Schutterfull professor. hybrid control and intelligent transportation systems, Delft University ofVerified email at tudelft.nl
Erna AprilianiLecturer of Mathematics Department , Institut Teknologi Sepuluh NopemberVerified email at matematika.its.ac.id
Didik Khusnul ArifInstitut Teknologi Sepuluh NopemberVerified email at matematika.its.ac.id
TAHIYATUL ASFIHANIDepartment of Mathematics, Institut Teknologi Sepuluh NopemberVerified email at matematika.its.ac.id
Basuki WidodoDepartment of Mathematics, Institut Teknologi Sepuluh NopemberVerified email at matematika.its.ac.id
Muhammad Syifa'ul MufidInstitut Teknologi Sepuluh Nopember SurabayaVerified email at matematika.its.ac.id
TEGUH HERLAMBANGUniversitas Nahdlatul Ulama SurabayaVerified email at unusa.ac.id
Hendro NurhadiDepartment of Industrial Mechanical Engineering, Institut Teknologi Sepuluh NopemberVerified email at me.its.ac.id
Imam MukhlashDepartment of Mathematics Institut Teknologi Sepuluh Nopember SurabayaVerified email at matematika.its.ac.id
Sadegh SoudjaniAssistant Professor, School of Computing, Newcastle UniversityVerified email at ncl.ac.uk
Manuel Mazo Jr.Associate Professor at TU DelftVerified email at tudelft.nl
Mohammad Isa IrawanDept.of Mathematics, Institut Teknologi Sepuluh Nopember (ITS)Verified email at its.ac.id
Heri PurnawanPhD student in the Department of Mathematics under supervision Subchan, PhDVerified email at mhs.its.ac.id
Lei BuNanjing UniversityVerified email at nju.edu.cn
Bandung Arry SanjoyoIlmu Komputer, Institut Teknologi Sepuluh NopemberVerified email at matematika.its.ac.id
Lutfi MardiantoInstitut Teknologi SumateraVerified email at ma.itera.ac.id
Mirco GiacobbePostdoc, Oxford UniversityVerified email at cs.ox.ac.uk
Goran FrehseAssociate Professor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
Nianqiang LiProfessor, Soochow UniversityVerified email at suda.edu.cn

Dieky Adzkiya

Department of Mathematics, Institut Teknologi Sepuluh Nopember

Verified email at matematika.its.ac.id - Homepage

Max-Plus Algebra Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Computational techniques for reachability analysis of max-plus-linear systems D Adzkiya, B De Schutter, A Abate Automatica 53, 293-302, 2015	32	2015
Finite abstractions of max-plus-linear systems D Adzkiya, B De Schutter, A Abate IEEE Transactions on Automatic Control 58 (12), 3039-3053, 2013	30	2013
Membangun model petri net lampu lalu lintas dan simulasinya D Adzkiya Institut Teknologi Sepuluh Nopember, 2008	15	2008
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	14	2011
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	13	2017
Backward reachability of autonomous max-plus-linear systems D Adzkiya, B De Schutter, A Abate International Workshop on Discrete Event Systems, 117-122, 2014	13	2014
VeriSiMPL: Verification via biSimulations of MPL Models D Adzkiya, A Abate International Conference on Quantitative Evaluation of Systems, 274-277, 2013	13	2013
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	11	2016
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	9	2014
Identification and estimation of state variables on reduced model using balanced truncation method TP Lesnussa, DK Arif, D Adzkiya, E Apriliani Journal of Physics: Conference Series 855 (1), 012023, 2017	8	2017
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	8	2015
Position estimation of Touristant ASV using ensemble Kalman filter H Nurhadi, T Herlambang, D Adzkiya AIP Conference Proceedings 2187 (1), 060006, 2019	7	2019
Formal verification of stochastic max-plus-linear systems SEZ Soudjani, D Adzkiya, A Abate IEEE Transactions on Automatic Control 61 (10), 2861-2876, 2015	6	2015
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	5	2018
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	5	2017
A study on model order reduction of stable continuous-time linear-time-invariant systems using balanced truncation methods DA Kartika, DK Arif, E Apriliani, D Adzkiya AIP Conference Proceedings 1867 (1), 020050, 2017	5	2017
Finite abstractions of stochastic max-plus-linear systems D Adzkiya, SEZ Soudjani, A Abate Quantitative Evaluation of Systems, 74-89, 2014	5	2014
Abstraction and verification of autonomous max-plus-linear systems D Adzkiya, B De Schutter, A Abate American Control Conference, 721-726, 2012	5	2012
Modelling traffic light using Petri net and its simulation D Adzkiya Institut Teknologi Sepuluh Nopember. Thesis, Surabaya, 2008	5	2008
Disturbance compensating model predictive control for warship heading control in missile firing mission H Purnawan, T Asfihani, D Adzkiya Journal of Physics Conference Series 1108 (1), 012035, 2018	4	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors